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. |
ALL
static final RecordFilter ALL
- A record filter that accepts all records.
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().