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.aba.syntax
net.sf.tweety.arg.aspic.syntax
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.dl.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.semantics
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	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	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.aba.syntax

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

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

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

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

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

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	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	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	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

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
java.lang.Class<? extends Predicate>	AssociativeFormulaSupport.getPredicateCls()
java.lang.Class<? extends Predicate>	RelationalFormula.getPredicateCls()
java.util.Set<? extends Predicate>	AssociativeFormulaSupport.getPredicates()
java.util.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
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	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.dl.syntax

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

Modifier and Type	Method	Description
Predicate	AtomicConcept.getPredicate()
Predicate	AtomicRole.getPredicate()

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

Modifier and Type	Method	Description
java.lang.Class<? extends Predicate>	ComplexConcept.getPredicateCls()
java.lang.Class<? extends Predicate>	DlAxiom.getPredicateCls()
java.util.Set<Predicate>	AssociativeDlFormula.getPredicates()
java.util.Set<Predicate>	AtomicConcept.getPredicates()
java.util.Set<Predicate>	AtomicRole.getPredicates()
java.util.Set<Predicate>	BottomConcept.getPredicates()
java.util.Set<Predicate>	Complement.getPredicates()
abstract java.util.Set<Predicate>	ComplexConcept.getPredicates()
java.util.Set<Predicate>	ConceptAssertion.getPredicates()
abstract java.util.Set<Predicate>	DlAxiom.getPredicates()
java.util.Set<Predicate>	DlSignature.getPredicates()
java.util.Set<Predicate>	EquivalenceAxiom.getPredicates()
java.util.Set<Predicate>	ExistentialRestriction.getPredicates()
java.util.Set<Predicate>	RoleAssertion.getPredicates()
java.util.Set<Predicate>	TopConcept.getPredicates()
java.util.Set<Predicate>	UniversalRestriction.getPredicates()

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

Constructor	Description
AtomicConcept(Predicate p)
AtomicRole(Predicate p)

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

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

Modifier and Type	Class	Description
class	EqualityPredicate	This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.
class	InequalityPredicate	This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation.

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

Modifier and Type	Method	Description
Predicate	FolAtom.getPredicate()	Returns the predicate of this atom
Predicate	FolSignature.getPredicate(java.lang.String s)	Get the predicate with the given name.

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

Modifier and Type	Method	Description
java.util.Set<? extends Predicate>	AssociativeFolFormula.getPredicates()
java.util.Set<? extends Predicate>	Equivalence.getPredicates()
java.util.Set<? extends Predicate>	ExistsQuantifiedFormula.getPredicates()
java.util.Set<Predicate>	FolAtom.getPredicates()
java.util.Set<Predicate>	FolSignature.getPredicates()	Returns the predicates of this first-order logic signature.
java.util.Set<? extends Predicate>	ForallQuantifiedFormula.getPredicates()
java.util.Set<? extends Predicate>	Implication.getPredicates()
java.util.Set<? extends Predicate>	Negation.getPredicates()
java.util.Set<Predicate>	SpecialFormula.getPredicates()

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

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

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

Constructor	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	Description
java.util.Set<? extends Predicate>	MlFormula.getPredicates()

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

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

Modifier and Type	Method	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	Description
class	PlPredicate	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	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	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	Description
java.util.Set<? extends Predicate>	DefaultRule.getPredicates()

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

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

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

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

Modifier and Type	Method	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.semantics with parameters of type Predicate

Modifier and Type	Method	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.
InstanceAssignment	ReferenceWorld.put(Predicate key, InstanceAssignment value)

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

Modifier and Type	Method	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.semantics with parameters of type Predicate

Constructor	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.

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	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	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

Methods in net.sf.tweety.lp.asp.syntax that return Predicate

Modifier and Type	Method	Description
Predicate	ASPAtom.getPredicate()
Predicate	StrictNegation.getPredicate()

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

Modifier and Type	Method	Description
java.util.Set<Predicate>	Program.getOutputWhitelist()	Returns the whitelist of predicates.
java.lang.Class<? extends Predicate>	ASPElement.getPredicateCls()
java.lang.Class<? extends Predicate>	ASPHead.getPredicateCls()
java.lang.Class<? extends Predicate>	ComparativeAtom.getPredicateCls()
java.util.Set<Predicate>	AggregateAtom.getPredicates()
java.util.Set<Predicate>	AggregateElement.getPredicates()
java.util.Set<Predicate>	ASPAtom.getPredicates()
abstract java.util.Set<Predicate>	ASPElement.getPredicates()
java.util.Set<Predicate>	ASPHead.getPredicates()
java.util.Set<Predicate>	ASPRule.getPredicates()
java.util.Set<Predicate>	ComparativeAtom.getPredicates()
java.util.Set<Predicate>	DefaultNegation.getPredicates()
java.util.Set<Predicate>	StrictNegation.getPredicates()

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

Modifier and Type	Method	Description
Atom.RETURN_SET_PREDICATE	ASPAtom.setPredicate(Predicate newer)
Atom.RETURN_SET_PREDICATE	StrictNegation.setPredicate(Predicate predicate)

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

Modifier and Type	Method	Description
void	Program.setOutputWhitelist(java.util.Collection<Predicate> ps)	Sets the whitelist of predicates.

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

Constructor	Description
ASPAtom(Predicate p)	Creates a new ASPAtom with the given predicate.
ASPAtom(Predicate p, java.util.List<Term<?>> terms)	Creates a new atom with the given predicate and terms.
StrictNegation(Predicate p, java.util.List<Term<?>> terms)	Creates a new negation with the given predicate and terms.

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	Description
java.lang.Class<? extends Predicate>	NLPRule.getPredicateCls()
java.util.Set<? extends Predicate>	NLPNot.getPredicates()
java.util.Set<Predicate>	NLPRule.getPredicates()