I am trying to run IC3 from Eclipse, but the source code could not find
import edu.psu.cse.siis.ic3.Ic3Data;
import edu.psu.cse.siis.ic3.Ic3Data.Application.Builder;
import edu.psu.cse.siis.ic3.Ic3Data.Application.Component;
import edu.psu.cse.siis.ic3.Ic3Data.Application.Component.ComponentKind;
import edu.psu.cse.siis.ic3.Ic3Data.Application.Component.IntentFilter;
import edu.psu.cse.siis.ic3.Ic3Data.Attribute;
import edu.psu.cse.siis.ic3.Ic3Data.AttributeKind;
Dear developers:
I am trying to run IC3 from Eclipse, but the source code could not find import edu.psu.cse.siis.ic3.Ic3Data; import edu.psu.cse.siis.ic3.Ic3Data.Application.Builder; import edu.psu.cse.siis.ic3.Ic3Data.Application.Component; import edu.psu.cse.siis.ic3.Ic3Data.Application.Component.ComponentKind; import edu.psu.cse.siis.ic3.Ic3Data.Application.Component.IntentFilter; import edu.psu.cse.siis.ic3.Ic3Data.Attribute; import edu.psu.cse.siis.ic3.Ic3Data.AttributeKind;
I wonder how can i fix it. Thank you very much!