Package tools.refinery.store.query.view

Interface AnySymbolView

All Superinterfaces:

Constraint

All Known Implementing Classes:

AbstractFunctionView, FilteredView, ForbiddenView, FunctionView, KeyOnlyView, MayView, MustView, NodeFunctionView, SymbolView, TuplePreservingView

public sealed interface AnySymbolView
extends Constraint
permits SymbolView<T>

Method Summary

Modifier and Type	Method	Description
default boolean	canIndexSlot(int slot)
boolean	get(Model model, Object[] tuple)
default Iterable<Object[]>	getAdjacent(Model model, int slot, Object value)
Iterable<Object[]>	getAll(Model model)
default Set<FunctionalDependency<Integer>>	getFunctionalDependencies()
default Set<ViewImplication>	getImpliedRelationViews()
AnySymbol	getSymbol()
String	getViewName()

Methods inherited from interface tools.refinery.logic.Constraint

aggregateBy, aggregateBy, arity, call, call, call, callTransitive, count, count, equals, getParameters, getReduction, invalidIndex, leftJoinBy, leftJoinBy, name, toReferenceString

Method Details

getSymbol

AnySymbol getSymbol()

getViewName

String getViewName()

getFunctionalDependencies

default Set<FunctionalDependency<Integer>> getFunctionalDependencies()

getImpliedRelationViews

default Set<ViewImplication> getImpliedRelationViews()

get

boolean get(Model model,
 Object[] tuple)

getAll

Iterable<Object[]> getAll(Model model)

getAdjacent

default Iterable<Object[]> getAdjacent(Model model,
 int slot,
 Object value)

canIndexSlot

default boolean canIndexSlot(int slot)