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

Packages that use Minus

Package	Description
tech.oxfordsemantic.jrdfox.logic

Uses of Minus in tech.oxfordsemantic.jrdfox.logic

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

Modifier and Type	Method	Description
static Minus	Minus.create(Formula main, java.util.List<Formula> subtrahends)
static Minus	Minus.create(Formula main, Formula... subtrahends)

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

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