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

Packages that use Predicate

Package	Description
net.sf.tweety.action.signature
net.sf.tweety.arg.aspic.ruleformulagenerator
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.el.syntax
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl
net.sf.tweety.logics.translators
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

Uses of Predicate in net.sf.tweety.action.signature

Subclasses of Predicate in net.sf.tweety.action.signature

Modifier and Type	Class and Description
class	FolActionName This class represents an action name.
class	FolFluentName This class represents a fluent name.

Methods in net.sf.tweety.action.signature with parameters of type Predicate

Modifier and Type	Method and Description
boolean	ActionSignature.containsPredicate(Predicate predicate) Returns true iff the given predicate is contained in this signature.

Uses of Predicate in net.sf.tweety.arg.aspic.ruleformulagenerator

Fields in net.sf.tweety.arg.aspic.ruleformulagenerator declared as Predicate

Modifier and Type	Field and Description
(package private) static Predicate	FolFormulaGenerator.RULE_PREDICATE

Uses of Predicate in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return types with arguments of type Predicate

Modifier and Type	Method and Description
java.util.Set<Predicate>	DelpRule.getPredicates()

Uses of Predicate in net.sf.tweety.arg.dung.ldo.syntax

Methods in net.sf.tweety.arg.dung.ldo.syntax with parameters of type Predicate

Modifier and Type	Method and Description
Atom.RETURN_SET_PREDICATE	LdoArgument.setPredicate(Predicate predicate)

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

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

Modifier and Type	Method and Description
java.lang.Class<? extends Predicate>	Conditional.getPredicateCls()
java.util.Set<? extends Predicate>	Conditional.getPredicates()

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
java.lang.Class<? extends Predicate>	AssociativeFormulaSupport.getPredicateCls()
java.util.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
java.lang.Class<? extends Predicate>	SimpleLogicalFormula.getPredicateCls()
java.util.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, java.util.List<Term<?>> arguments)
Atom.RETURN_SET_PREDICATE	Atom.setPredicate(Predicate predicate) Changes the predicate of the atom.

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

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

Modifier and Type	Method and Description
java.util.Set<? extends Predicate>	ModalFormula.getPredicates()

Uses of Predicate in net.sf.tweety.logics.fol.parser

Methods in net.sf.tweety.logics.fol.parser that return Predicate

Modifier and Type	Method and Description
private Predicate	FolParserB.getPredicate(java.lang.String name, FolSignature sig)

Uses of Predicate in net.sf.tweety.logics.fol.semantics

Methods in net.sf.tweety.logics.fol.semantics with parameters of type Predicate

Modifier and Type	Method and Description
private java.util.Set<FOLAtom>	HerbrandBase.getAllInstantiations(FolSignature sig, Predicate p, java.util.List<Term<?>> arguments) Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.

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

Fields in net.sf.tweety.logics.fol.syntax declared as Predicate

Modifier and Type	Field and Description
private Predicate	FOLAtom.predicate The predicate of this atom

Fields in net.sf.tweety.logics.fol.syntax with type parameters of type Predicate

Modifier and Type	Field and Description
private java.util.Set<Predicate>	FolSignature.predicates

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

Modifier and Type	Method and Description
Predicate	FOLAtom.getPredicate() Returns the predicate of this atom
Predicate	FolSignature.getPredicate(java.lang.String s)

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

Modifier and Type	Method and Description
java.lang.Class<Predicate>	RelationalFormula.getPredicateCls()
java.util.Set<Predicate>	SpecialFormula.getPredicates()
java.util.Set<? extends Predicate>	QuantifiedFormula.getPredicates()
java.util.Set<? extends Predicate>	Negation.getPredicates()
java.util.Set<Predicate>	FolSignature.getPredicates()
java.util.Set<Predicate>	FOLAtom.getPredicates()
java.util.Set<? extends Predicate>	AssociativeFOLFormula.getPredicates()

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

Modifier and Type	Method and Description
Atom.RETURN_SET_PREDICATE	FOLAtom.setPredicate(Predicate newer)

Constructors in net.sf.tweety.logics.fol.syntax with parameters of type Predicate

Constructor and Description
FOLAtom(Predicate predicate) Creates a new atom with the given predicate and initializes an empty argument list.
FOLAtom(Predicate predicate, java.util.List<? extends Term<?>> arguments) Creates a new atom with the given predicate and list of terms
FOLAtom(Predicate predicate, Term<?>... terms)

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

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

Modifier and Type	Method and Description
java.util.Set<? extends Predicate>	MlnFormula.getPredicates()

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

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

Modifier and Type	Class and Description
class	PropositionalPredicate A specialized predicate for propositional logic that only allows an identifier but has no arguments and therefore has an arity of zero.

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

Modifier and Type	Method and Description
Atom.RETURN_SET_PREDICATE	Proposition.setPredicate(Predicate predicate)

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

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

Modifier and Type	Method and Description
java.util.Set<Predicate>	RelationalConditional.getPredicates()

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

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

Modifier and Type	Method and Description
java.util.Set<? extends Predicate>	DefaultRule.getPredicates()

Uses of Predicate in net.sf.tweety.logics.rpcl

Fields in net.sf.tweety.logics.rpcl declared as Predicate

Modifier and Type	Field and Description
private Predicate	InstanceAssignment.predicate The predicate of this instance assignment.

Fields in net.sf.tweety.logics.rpcl with type parameters of type Predicate

Modifier and Type	Field and Description
private java.util.Map<Predicate,InstanceAssignment>	ReferenceWorld.assignments The instance assignments of this reference worlds
private java.util.Collection<Predicate>	ReferenceWorld.predicates The set of predicates this reference world bases on.

Methods in net.sf.tweety.logics.rpcl that return Predicate

Modifier and Type	Method and Description
Predicate	InstanceAssignment.getPredicate() Returns the predicate of this assignment.

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

Modifier and Type	Method and Description
java.util.Set<java.util.Map.Entry<Predicate,InstanceAssignment>>	ReferenceWorld.entrySet()
java.util.Set<Predicate>	ReferenceWorld.keySet()

Methods in net.sf.tweety.logics.rpcl with parameters of type Predicate

Modifier and Type	Method and Description
static java.util.Set<InstanceAssignment>	InstanceAssignment.enumerateInstanceAssignments(Predicate p, java.util.Set<java.util.Set<Constant>> constants) Determines the set of all instance assignments for the given predicate and equivalence classes.
java.lang.Integer	ReferenceWorld.get(Predicate predicate, java.util.Collection<? extends Constant> constants) Retrieves the number of true instances assigned for the given predicate and the given equivalence class of constants.
private java.lang.Integer	ReferenceWorld.getNumberOfOccurences(FolFormula f, Predicate p, java.util.Collection<? extends Constant> constants, boolean positive) Determines the number of occurrences of instances of predicate "p" with a constant in "constants".
InstanceAssignment	ReferenceWorld.put(Predicate key, InstanceAssignment value)

Method parameters in net.sf.tweety.logics.rpcl with type arguments of type Predicate

Modifier and Type	Method and Description
static java.util.Set<ReferenceWorld>	ReferenceWorld.enumerateReferenceWorlds(java.util.Set<Predicate> predicates, java.util.Set<java.util.Set<Constant>> constants) Determines the set of all reference worlds wrt.
static ReferenceWorld	ReferenceWorld.getMapping(HerbrandInterpretation i, java.util.Set<Predicate> predicates, java.util.Set<java.util.Set<Constant>> constants) Determines the reference world of the given interpretation wrt.
void	ReferenceWorld.putAll(java.util.Map<? extends Predicate,? extends InstanceAssignment> m)

Constructors in net.sf.tweety.logics.rpcl with parameters of type Predicate

Constructor and Description
InstanceAssignment(Predicate predicate) Creates a new instance assignment for the given predicate with no assignments.
InstanceAssignment(Predicate predicate, java.util.Map<? extends java.util.Collection<? extends Constant>,java.lang.Integer> map) Creates a new instance assignment for the given predicate with the given map.

Constructor parameters in net.sf.tweety.logics.rpcl with type arguments of type Predicate

Constructor and Description
ReferenceWorld(java.util.Collection<? extends java.util.Collection<? extends Constant>> equivalenceClasses, java.util.Collection<Predicate> predicates) Creates a new reference world for the given equivalence classes.

Uses of Predicate in net.sf.tweety.logics.translators

Methods in net.sf.tweety.logics.translators with type parameters of type Predicate

Modifier and Type	Method and Description
<C extends Predicate> C	Translator.translatePredicate(Predicate source, java.lang.Class<C> predicateCls) Translates the given source predicate into an instance of the given predicate class and returns the translation.

Methods in net.sf.tweety.logics.translators with parameters of type Predicate

Modifier and Type	Method and Description
<C extends Predicate> C	Translator.translatePredicate(Predicate source, java.lang.Class<C> predicateCls) Translates the given source predicate into an instance of the given predicate class and returns the translation.

Uses of Predicate in net.sf.tweety.lp.asp.syntax

Subclasses of Predicate in net.sf.tweety.lp.asp.syntax

Modifier and Type	Class and Description
class	DLPPredicate A predicate has a name and an arity.

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type Predicate

Modifier and Type	Method and Description
java.lang.Class<? extends Predicate>	DLPNot.getPredicateCls()
java.lang.Class<? extends Predicate>	DLPHead.getPredicateCls()
java.lang.Class<? extends Predicate>	DLPElementAdapter.getPredicateCls()

Methods in net.sf.tweety.lp.asp.syntax with parameters of type Predicate

Modifier and Type	Method and Description
Atom.RETURN_SET_PREDICATE	DLPNeg.setPredicate(Predicate predicate)
Atom.RETURN_SET_PREDICATE	DLPAtom.setPredicate(Predicate predicate)

Uses of Predicate in net.sf.tweety.lp.nlp.syntax

Methods in net.sf.tweety.lp.nlp.syntax that return types with arguments of type Predicate

Modifier and Type	Method and Description
java.lang.Class<? extends Predicate>	NLPRule.getPredicateCls()
java.util.Set<Predicate>	NLPRule.getPredicates()
java.util.Set<? extends Predicate>	NLPNot.getPredicates()