Uses of Class
org.tweetyproject.logics.commons.syntax.Functor
-
-
-
Uses of Functor in org.tweetyproject.arg.delp.syntax
Methods in org.tweetyproject.arg.delp.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
DelpRule. getFunctors()
-
Uses of Functor in org.tweetyproject.logics.commons.syntax
Methods in org.tweetyproject.logics.commons.syntax that return Functor Modifier and Type Method Description Functor
Functor. clone()
Functor
FunctionalTerm. getFunctor()
Methods in org.tweetyproject.logics.commons.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
QuantifiedFormulaSupport. getFunctors()
abstract java.util.Set<Functor>
RelationalFormula. getFunctors()
Constructors in org.tweetyproject.logics.commons.syntax with parameters of type Functor Constructor Description FunctionalTerm(Functor functor)
Creates a new functional term with the given functor.FunctionalTerm(Functor functor, java.util.List<Term<?>> arguments)
Creates a new functional term with the given functor and the given list of arguments.FunctionalTerm(Functor functor, Term<?>... terms)
-
Uses of Functor in org.tweetyproject.logics.fol.syntax
Methods in org.tweetyproject.logics.fol.syntax that return Functor Modifier and Type Method Description Functor
FolSignature. getFunctor(java.lang.String s)
Get the functor with the given name.Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
AssociativeFolFormula. getFunctors()
java.util.Set<Functor>
Equivalence. getFunctors()
java.util.Set<Functor>
ExistsQuantifiedFormula. getFunctors()
java.util.Set<Functor>
FolAtom. getFunctors()
java.util.Set<Functor>
FolSignature. getFunctors()
Returns the functors of this first-order logic signature.java.util.Set<Functor>
ForallQuantifiedFormula. getFunctors()
java.util.Set<Functor>
Implication. getFunctors()
abstract java.util.Set<Functor>
LogicStructure. getFunctors()
Returns all functors that appear in this structure.java.util.Set<Functor>
Negation. getFunctors()
java.util.Set<Functor>
SpecialFormula. getFunctors()
-
Uses of Functor in org.tweetyproject.logics.ml.syntax
Methods in org.tweetyproject.logics.ml.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
MlFormula. getFunctors()
-
Uses of Functor in org.tweetyproject.logics.mln.syntax
Methods in org.tweetyproject.logics.mln.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
MlnFormula. getFunctors()
-
Uses of Functor in org.tweetyproject.logics.rcl.syntax
Methods in org.tweetyproject.logics.rcl.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
RelationalConditional. getFunctors()
-
Uses of Functor in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
DefaultRule. getFunctors()
-
Uses of Functor in org.tweetyproject.lp.nlp.syntax
Methods in org.tweetyproject.lp.nlp.syntax that return types with arguments of type Functor Modifier and Type Method Description java.util.Set<Functor>
NLPNot. getFunctors()
-