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

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

Modifier and Type	Class and Description
class	Concept This class models concepts used in description logics
class	Role This class implements a role used in description logics Every role is an predicate consisting of two individuals

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

Modifier and Type	Method and Description
Predicate	Predicate.clone()

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

Modifier and Type	Method and Description
Class<? extends Predicate>	RelationalFormula.getPredicateCls()
Class<? extends Predicate>	AssociativeFormulaSupport.getPredicateCls()
Set<? extends Predicate>	QuantifiedFormulaSupport.getPredicates()
Set<? extends Predicate>	AssociativeFormulaSupport.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 and 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 and 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 and 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.