|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic.ConstraintsTranslationStrategy
Class containing one field, corresponding to the strategy used for Prolog Names.0 = short and 1 = long names.
Constructor Summary | |
ConstraintsTranslationStrategy(int kind)
Constructor with one field. |
Method Summary | |
boolean |
isLong()
isLong strategy. |
boolean |
isShort()
isShort strategy. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ConstraintsTranslationStrategy(int kind)
kind
- the kind of strategy, 0 = short, 1 = longMethod Detail |
public boolean isLong()
public boolean isShort()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |