|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |