lp.trans
Class EvolpVarTransformer.TransformationHelper
java.lang.Object
lp.trans.EvolpVarTransformer.TransformationHelper
- Enclosing class:
- EvolpVarTransformer
private class EvolpVarTransformer.TransformationHelper
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
encoder
private final LpBuffer encoder
decoder
private final HashMap<LpConstant,LpRule> decoder
EvolpVarTransformer.TransformationHelper
public EvolpVarTransformer.TransformationHelper()
reset
public void reset()
decode
public LpRule decode(LpConstant encoded)
transform
public LpRule transform(LpRule rule,
int group,
int assertLevel)
transform
private LpLiteral transform(LpLiteral lit,
int group)
transform
private List<LpTerm> transform(List<LpTerm> args)
transform
private LpTerm transform(LpTerm term)