Uses of Class
com.semedy.reasoner.reasoning.processes.And
-
Uses of And in com.semedy.reasoner.reasoning.processes
Modifier and TypeClassDescriptionclass
class
class
Modifier and TypeMethodDescriptionBufferedStore.getNeighbours()
EmptyStore.getNeighbours()
Store.getNeighbours()
get all neighboursUnbufferedStore.getNeighbours()
Modifier and TypeMethodDescriptionvoid
BufferedStore.addNegatedNeighbour
(And join) void
EmptyStore.addNegatedNeighbour
(And join) void
Store.addNegatedNeighbour
(And join) add a negated rule body operator as next operatorvoid
UnbufferedStore.addNegatedNeighbour
(And join) void
BufferedStore.addNeighbour
(And join) void
EmptyStore.addNeighbour
(And join) void
Store.addNeighbour
(And join) add a rule body operator as next operatorvoid
UnbufferedStore.addNeighbour
(And join)