Uses of Class
org.tweetyproject.logics.commons.syntax.Predicate

Packages that use Predicate

Package	Description
org.tweetyproject.action.signature
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.delp.syntax
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.translators
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.nlp.syntax

Uses of Predicate in org.tweetyproject.action.signature

Subclasses of Predicate in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.aba.syntax

Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type Predicate

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

Uses of Predicate in org.tweetyproject.arg.aspic.syntax

Methods in org.tweetyproject.arg.aspic.syntax that return types with arguments of type Predicate

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

Uses of Predicate in org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.arg.delp.syntax that return types with arguments of type Predicate

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

Uses of Predicate in org.tweetyproject.arg.dung.ldo.syntax

Methods in org.tweetyproject.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 org.tweetyproject.logics.cl.syntax

Methods in org.tweetyproject.logics.cl.syntax that return types with arguments of type Predicate

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

Uses of Predicate in org.tweetyproject.logics.commons.syntax

Methods in org.tweetyproject.logics.commons.syntax that return Predicate

Modifier and Type	Method	Description
Predicate	Predicate.clone()

Methods in org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces

Methods in org.tweetyproject.logics.commons.syntax.interfaces that return Predicate

Modifier and Type	Method	Description
Predicate	Atom.getPredicate()

Methods in org.tweetyproject.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 org.tweetyproject.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.

Uses of Predicate in org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.logics.dl.syntax that return Predicate

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

Methods in org.tweetyproject.logics.dl.syntax that return types with arguments of type Predicate

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

Constructors in org.tweetyproject.logics.dl.syntax with parameters of type Predicate

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

Uses of Predicate in org.tweetyproject.logics.fol.syntax

Subclasses of Predicate in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax that return Predicate

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

Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type Predicate

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

Methods in org.tweetyproject.logics.fol.syntax with parameters of type Predicate

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

Constructors in org.tweetyproject.logics.fol.syntax with parameters of type Predicate

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

Uses of Predicate in org.tweetyproject.logics.ml.syntax

Methods in org.tweetyproject.logics.ml.syntax that return types with arguments of type Predicate

Modifier and Type	Method	Description
Set<? extends Predicate>	MlFormula.getPredicates()

Uses of Predicate in org.tweetyproject.logics.mln.syntax

Methods in org.tweetyproject.logics.mln.syntax that return types with arguments of type Predicate

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

Uses of Predicate in org.tweetyproject.logics.pl.syntax

Subclasses of Predicate in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.rcl.syntax

Methods in org.tweetyproject.logics.rcl.syntax that return types with arguments of type Predicate

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

Uses of Predicate in org.tweetyproject.logics.rdl.syntax

Methods in org.tweetyproject.logics.rdl.syntax that return types with arguments of type Predicate

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

Uses of Predicate in org.tweetyproject.logics.rpcl.semantics

Methods in org.tweetyproject.logics.rpcl.semantics that return Predicate

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

Methods in org.tweetyproject.logics.rpcl.semantics that return types with arguments of type Predicate

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

Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type Predicate

Modifier and Type	Method	Description
static Set<InstanceAssignment>	InstanceAssignment.enumerateInstanceAssignments(Predicate p, Set<Set<Constant>> constants)	Determines the set of all instance assignments for the given predicate and equivalence classes.
Integer	ReferenceWorld.get(Predicate predicate, 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 org.tweetyproject.logics.rpcl.semantics with type arguments of type Predicate

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

Constructors in org.tweetyproject.logics.rpcl.semantics with parameters of type Predicate

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

Uses of Predicate in org.tweetyproject.logics.translators

Methods in org.tweetyproject.logics.translators with type parameters of type Predicate

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

Methods in org.tweetyproject.logics.translators with parameters of type Predicate

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

Uses of Predicate in org.tweetyproject.lp.asp.syntax

Subclasses of Predicate in org.tweetyproject.lp.asp.syntax

Modifier and Type	Class	Description
static class	ASPOperator.ClingoPredicate	Additional special predicates of the clingo syntax that have no direct representation in the DLV or ASP-Core-2 format.
static class	ASPOperator.DLVPredicate	Additional special predicates of the DLV syntax that have no direct representation in the Clingo or ASP-Core-2 format.

Methods in org.tweetyproject.lp.asp.syntax that return Predicate

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

Methods in org.tweetyproject.lp.asp.syntax that return types with arguments of type Predicate

Modifier and Type	Method	Description
Set<Predicate>	Program.getOutputWhitelist()	Returns the whitelist of predicates.
Class<? extends Predicate>	ASPElement.getPredicateCls()
Class<? extends Predicate>	ClassicalHead.getPredicateCls()
Class<? extends Predicate>	ComparativeAtom.getPredicateCls()
Set<Predicate>	AggregateAtom.getPredicates()
Set<Predicate>	AggregateElement.getPredicates()
Set<Predicate>	AggregateHead.getPredicates()
Set<Predicate>	ASPAtom.getPredicates()
abstract Set<Predicate>	ASPElement.getPredicates()
Set<Predicate>	ASPRule.getPredicates()
Set<Predicate>	ChoiceElement.getPredicates()
Set<Predicate>	ChoiceHead.getPredicates()
Set<Predicate>	ClassicalHead.getPredicates()
Set<Predicate>	ComparativeAtom.getPredicates()
Set<Predicate>	DefaultNegation.getPredicates()
Set<Predicate>	OptimizationElement.getPredicates()
Set<Predicate>	OptimizationStatement.getPredicates()
Set<Predicate>	StrictNegation.getPredicates()

Methods in org.tweetyproject.lp.asp.syntax with parameters of type Predicate

Modifier and Type	Method	Description
boolean	Program.addToOutputWhitelist(Predicate p)	Adds the given predicate to the whitelist of predicates.
Atom.RETURN_SET_PREDICATE	ASPAtom.setPredicate(Predicate newer)
Atom.RETURN_SET_PREDICATE	StrictNegation.setPredicate(Predicate predicate)

Method parameters in org.tweetyproject.lp.asp.syntax with type arguments of type Predicate

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

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type Predicate

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

Uses of Predicate in org.tweetyproject.lp.nlp.syntax

Methods in org.tweetyproject.lp.nlp.syntax that return types with arguments of type Predicate

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