Uses of Class
org.irisa.genouest.logol.StructConstraint

Packages that use StructConstraint
org.irisa.genouest.logol   
org.irisa.genouest.logol.parser   
 

Uses of StructConstraint in org.irisa.genouest.logol
 

Fields in org.irisa.genouest.logol with type parameters of type StructConstraint
 java.util.Vector<StructConstraint> LogolVariable.structConstraints
           
 

Methods in org.irisa.genouest.logol that return StructConstraint
 StructConstraint LogolVariable.getStructConstraint(int constraintType)
           
 

Methods in org.irisa.genouest.logol with parameters of type StructConstraint
 void LogolVariable.forcepostpone(StructConstraint sc)
          Force a constraint to be postponed, no check
 void LogolVariable.forcepostpone(StructConstraint sc, int type)
          Force a constraint to be postponed, no check
 boolean LogolVariable.postpone(int constraintType, StructConstraint sc)
          Checks if constraint treatment must be postponed according to previous analysis.
 

Constructors in org.irisa.genouest.logol with parameters of type StructConstraint
LogolVariable(java.lang.String mod, java.lang.String id, java.lang.String parentModel, java.lang.String parentName, StructConstraint sc)
           
 

Uses of StructConstraint in org.irisa.genouest.logol.parser
 

Methods in org.irisa.genouest.logol.parser that return StructConstraint
 StructConstraint logolParser.structConstraint()