lp.trans
Class EvolpVarTransformer.TransformationHelper

java.lang.Object
  extended by lp.trans.EvolpVarTransformer.TransformationHelper
Enclosing class:
EvolpVarTransformer

private class EvolpVarTransformer.TransformationHelper
extends Object


Field Summary
private  HashMap<LpConstant,LpRule> decoder
           
private  LpBuffer encoder
           
 
Constructor Summary
EvolpVarTransformer.TransformationHelper()
           
 
Method Summary
 LpRule decode(LpConstant encoded)
           
 void reset()
           
private  List<LpTerm> transform(List<LpTerm> args)
           
private  LpLiteral transform(LpLiteral lit, int group)
           
 LpRule transform(LpRule rule, int group, int assertLevel)
           
private  LpTerm transform(LpTerm term)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

encoder

private final LpBuffer encoder

decoder

private final HashMap<LpConstant,LpRule> decoder
Constructor Detail

EvolpVarTransformer.TransformationHelper

public EvolpVarTransformer.TransformationHelper()
Method Detail

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)