Uses of Class
net.sf.tweety.logics.commons.syntax.Predicate

Packages that use Predicate

Package	Description
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces

Uses of Predicate in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Predicate

Modifier and Type	Method	Description
Predicate	Predicate.clone()

Methods in net.sf.tweety.logics.commons.syntax that return types with arguments of type Predicate

Modifier and Type	Method	Description
Class<? extends Predicate>	AssociativeFormulaSupport.getPredicateCls()
Class<? extends Predicate>	RelationalFormula.getPredicateCls()
Set<? extends Predicate>	AssociativeFormulaSupport.getPredicates()
Set<? extends Predicate>	QuantifiedFormulaSupport.getPredicates()

Uses of Predicate in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return Predicate

Modifier and Type	Method	Description
Predicate	Atom.getPredicate()

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return types with arguments of type Predicate

Modifier and Type	Method	Description
Class<? extends Predicate>	SimpleLogicalFormula.getPredicateCls()
Set<? extends Predicate>	SimpleLogicalFormula.getPredicates()	Processes the set of all predicates which appear in this formula

Methods in net.sf.tweety.logics.commons.syntax.interfaces with parameters of type Predicate

Modifier and Type	Method	Description
static Atom.RETURN_SET_PREDICATE	Atom.AtomImpl.implSetPredicate(Predicate old, Predicate newer, List<Term<?>> arguments)
Atom.RETURN_SET_PREDICATE	Atom.setPredicate(Predicate predicate)	Changes the predicate of the atom.