Class MustView

java.lang.Object

tools.refinery.store.query.view.SymbolView<TruthValue>

tools.refinery.store.query.view.TuplePreservingView<TruthValue>

tools.refinery.store.query.view.MustView

All Implemented Interfaces:

Constraint, AnySymbolView

public class MustView
extends TuplePreservingView<TruthValue>

Constructor Summary

Constructors

Constructor	Description
MustView(Symbol<TruthValue> symbol)

Method Summary

Modifier and Type	Method	Description
protected boolean	doFilter(Tuple key, TruthValue value)

Methods inherited from class TuplePreservingView

canIndexSlot, equals, forwardMap, forwardMap, get, getAdjacent, getParameters, hashCode

Methods inherited from class SymbolView

filter, getAll, getSymbol, getViewName, name, toReferenceString, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface AnySymbolView

getFunctionalDependencies, getImpliedRelationViews

Methods inherited from interface Constraint

aggregateBy, aggregateBy, arity, call, call, call, callTransitive, count, count, equals, getReduction, invalidIndex, leftJoinBy, leftJoinBy

Constructor Details

MustView

public MustView(Symbol<TruthValue> symbol)

Method Details

doFilter

protected boolean doFilter(Tuple key,
 TruthValue value)

Specified by:

doFilter in class SymbolView<TruthValue>