kodkod.engine.fol2sat
Class TranslationLog.Record

java.lang.Object
  extended by kodkod.engine.fol2sat.TranslationLog.Record
Enclosing class:
TranslationLog

public abstract static class TranslationLog.Record
extends java.lang.Object

A 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
TranslationLog.Record()
           
 
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

TranslationLog.Record

public TranslationLog.Record()
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()