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 and Description
Conjunction	Conjunction.clone()
Conjunction	FolFormula.combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable 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 and Description
Set<Conjunction>	SpecialFormula.getConjunctions()