kodkod.engine.fol2sat
Class TranslationRecord

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

Constructor Summary
TranslationRecord()
           
 
Method Summary
abstract  java.util.Map<Variable,TupleSet> env()
          Returns a map view of this.env.
abstract  int literal()
          Returns this.literal.
abstract  Node node()
          Returns this.node.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TranslationRecord

public TranslationRecord()
Method Detail

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()