Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## lp.trans
Class EvolpVarTransformer.TransformationHelper

    java.lang.Object
      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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD