Uses of Class
tech.oxfordsemantic.jrdfox.logic.datalog.Negation

Packages that use Negation

Package	Description
tech.oxfordsemantic.jrdfox.logic
tech.oxfordsemantic.jrdfox.logic.datalog

Uses of Negation in tech.oxfordsemantic.jrdfox.logic

Methods in tech.oxfordsemantic.jrdfox.logic with parameters of type Negation

Modifier and Type	Method	Description
E	LogicAdapter.visit(Negation negation)
E	LogicVisitor.visit(Negation negation)
Void	LogicWalker.visit(Negation negation)

Uses of Negation in tech.oxfordsemantic.jrdfox.logic.datalog

Methods in tech.oxfordsemantic.jrdfox.logic.datalog that return Negation

Modifier and Type	Method	Description
static Negation	Negation.create(List<Variable> existentialVariables, List<Atom> negatedAtoms)
static Negation	Negation.create(Atom... negatedAtoms)
static Negation	Negation.create(Variable[] existentialVariable, Atom[] negatedAtoms)