Package tools.refinery.store.query.view

Class ForbiddenView

java.lang.Object

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

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

tools.refinery.store.query.view.ForbiddenView

All Implemented Interfaces:

Constraint, AnySymbolView

public class ForbiddenView
extends TuplePreservingView<TruthValue>

Constructor Summary

Constructors

Constructor	Description
ForbiddenView(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

ForbiddenView

public ForbiddenView(Symbol<TruthValue> symbol)

Method Details

doFilter

protected boolean doFilter(Tuple key,
 TruthValue value)

Specified by:

doFilter in class SymbolView<TruthValue>