Package tools.refinery.store.query.view

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 tools.refinery.store.query.view.TuplePreservingView

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

Methods inherited from class tools.refinery.store.query.view.SymbolView

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.store.query.view.AnySymbolView

getFunctionalDependencies, getImpliedRelationViews

Methods inherited from interface tools.refinery.logic.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>