|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StringConstraint | |
---|---|
org.irisa.genouest.logol | |
org.irisa.genouest.logol.parser |
Uses of StringConstraint in org.irisa.genouest.logol |
---|
Fields in org.irisa.genouest.logol with type parameters of type StringConstraint | |
---|---|
java.util.Vector<StringConstraint> |
LogolVariable.stringConstraints
|
Methods in org.irisa.genouest.logol that return StringConstraint | |
---|---|
StringConstraint |
LogolVariable.getStringConstraint(int constraintType)
|
Methods in org.irisa.genouest.logol with parameters of type StringConstraint | |
---|---|
void |
LogolVariable.forcepostpone(StringConstraint sc)
Force a constraint to be postponed, no check |
void |
LogolVariable.forcepostpone(StringConstraint sc,
int type)
Force a constraint to be postponed, no check |
boolean |
LogolVariable.postpone(int constraintType,
StringConstraint sc)
Checks if constraint treatment must be postponed according to previous analysis. |
Constructors in org.irisa.genouest.logol with parameters of type StringConstraint | |
---|---|
LogolVariable(java.lang.String mod,
java.lang.String id,
java.lang.String parentModel,
java.lang.String parentName,
StringConstraint sc)
|
Uses of StringConstraint in org.irisa.genouest.logol.parser |
---|
Methods in org.irisa.genouest.logol.parser that return StringConstraint | |
---|---|
StringConstraint |
logolParser.stringConstraint()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |