Uses of Class
net.sf.tweety.logics.commons.syntax.Predicate
-
-
-
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.aspic.ruleformulagenerator
Fields in net.sf.tweety.arg.aspic.ruleformulagenerator declared as Predicate Modifier and Type Field 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 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 formulaMethods 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.reasoner
Methods in net.sf.tweety.logics.dl.reasoner with parameters of type Predicate Modifier and Type Method Description private java.util.Set<AssertionalAxiom>
NaiveDlReasoner. getAllInstantiations(DlSignature sig, Predicate p, java.util.List<Individual> args)
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.dl.syntax
Fields in net.sf.tweety.logics.dl.syntax declared as Predicate Modifier and Type Field Description private Predicate
AtomicConcept. predicate
The predicate that represents this atomic concept.private Predicate
AtomicRole. predicate
The predicate that represents this atomic role.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.semantics
Methods in net.sf.tweety.logics.fol.semantics with parameters of type Predicate Modifier and Type Method 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
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.Fields in net.sf.tweety.logics.fol.syntax declared as Predicate Modifier and Type Field Description private Predicate
FolAtom. predicate
The predicate of this atomMethods in net.sf.tweety.logics.fol.syntax that return Predicate Modifier and Type Method Description Predicate
FolAtom. getPredicate()
Returns the predicate of this atomPredicate
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 termsFolAtom(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
Fields in net.sf.tweety.logics.rpcl.semantics declared as Predicate Modifier and Type Field Description private Predicate
InstanceAssignment. predicate
The predicate of this instance assignment.Fields in net.sf.tweety.logics.rpcl.semantics with type parameters of type Predicate Modifier and Type Field Description private java.util.Map<Predicate,InstanceAssignment>
ReferenceWorld. assignments
The instance assignments of this reference worldsprivate java.util.Collection<Predicate>
ReferenceWorld. predicates
The set of predicates this reference world bases on.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.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.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>
CTranslator. 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>
CTranslator. 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.parser
Fields in net.sf.tweety.lp.asp.parser with type parameters of type Predicate Modifier and Type Field Description private java.util.Set<Predicate>
InstantiateVisitor. predicates_whitelist
List of predicates that is used to represent Clingo #show statements. -
Uses of Predicate in net.sf.tweety.lp.asp.syntax
Fields in net.sf.tweety.lp.asp.syntax declared as Predicate Modifier and Type Field Description protected Predicate
ASPAtom. predicate
The predicate identifying the atomFields in net.sf.tweety.lp.asp.syntax with type parameters of type Predicate Modifier and Type Field Description private java.util.Set<Predicate>
Program. output_predicate_whitelist
Optional field that can be used by some solvers.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()
private java.util.Set<Predicate>
Program. getPredicates()
Processes the set of all predicates which appear in this program.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()
-