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

Packages that use Negation

Package	Description
tech.oxfordsemantic.jrdfox.logic

Uses of Negation in tech.oxfordsemantic.jrdfox.logic

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

Modifier and Type	Method	Description
static Negation	Negation.create(java.util.List<Variable> existentialVariables, Formula negatedFormulas)
static Negation	Negation.create(Formula negatedFormula)
static Negation	Negation.create(Variable[] existentialVariables, Formula negatedFormulas)

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

Modifier and Type	Method	Description
E	LogicVisitor.visit(Negation object)