kodkod.engine.fol2sat
Class TranslationRecord
java.lang.Object
kodkod.engine.fol2sat.TranslationRecord
public abstract class TranslationRecord
- extends java.lang.Object
Record of a translation event.
- Author:
- Emina Torlak
- specfield:
node: Node // formula (or a node desugared to a formula) that was translated |
literal: int // cnf literal representing the meaning of this.node in this.env |
env: Variable ->one TupleSet // bindings for free, non-skolemized variables
// for which this.node (or its desugared form) evaluates to this.literal |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TranslationRecord
public TranslationRecord()
node
public abstract Node node()
- Returns this.node.
- Returns:
- this.node.
literal
public abstract int literal()
- Returns this.literal.
- Returns:
- this.literal
env
public abstract java.util.Map<Variable,TupleSet> env()
- Returns a map view of this.env.
- Returns:
- this.env
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
- See Also:
Object.toString()