kodkod.engine.fol2sat
Interface RecordFilter


public interface RecordFilter

A filter for TranslationRecords, based on the value of a record's node and literal fields.


Field Summary
static RecordFilter ALL
          A record filter that accepts all records.
 
Method Summary
 boolean accept(Node node, int literal, java.util.Map<Variable,TupleSet> env)
          Returns true if the records with the given node, literal, and environment should be returned by iterators produced by the TranslationLog.replay() method.
 

Field Detail

ALL

static final RecordFilter ALL
A record filter that accepts all records.

Method Detail

accept

boolean accept(Node node,
               int literal,
               java.util.Map<Variable,TupleSet> env)
Returns true if the records with the given node, literal, and environment should be returned by iterators produced by the TranslationLog.replay() method.

Returns:
true if the records with the given node, literal, and environment should be returned by iterators produced by TranslationLog.replay().