Uses of Class
net.sf.tweety.logics.fol.syntax.Conjunction

Packages that use Conjunction

Package	Description
net.sf.tweety.logics.fol.syntax

Uses of Conjunction in net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.logics.fol.syntax that return Conjunction

Modifier and Type	Method	Description
Conjunction	Conjunction.clone()
Conjunction	FolFormula.combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable f)
Conjunction	Conjunction.createEmptyFormula()
Conjunction	Conjunction.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type Conjunction

Modifier and Type	Method	Description
Set<Conjunction>	SpecialFormula.getConjunctions()