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

Packages that use Disjunction

Package	Description
tech.oxfordsemantic.jrdfox.logic

Uses of Disjunction in tech.oxfordsemantic.jrdfox.logic

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

Modifier and Type	Method	Description
static Disjunction	Disjunction.create(java.util.List<Formula> disjuncts)
static Disjunction	Disjunction.create(Formula... disjuncts)

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

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