ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic
Class ConstraintsTranslationStrategy

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic.ConstraintsTranslationStrategy

public class ConstraintsTranslationStrategy
extends java.lang.Object

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

ConstraintsTranslationStrategy

public ConstraintsTranslationStrategy(int kind)
Constructor with one field.
Parameters:
kind - the kind of strategy, 0 = short, 1 = long
Method Detail

isLong

public boolean isLong()
isLong strategy.
Returns:
boolean if strategy is long names

isShort

public boolean isShort()
isShort strategy.
Returns:
boolean if strategy is short names