Uses of Class
org.tweetyproject.logics.commons.syntax.Functor
Package
Description
-
Uses of Functor in org.tweetyproject.arg.delp.syntax
-
Uses of Functor in org.tweetyproject.logics.commons.syntax
Modifier and TypeMethodDescriptionQuantifiedFormulaSupport.getFunctors()
RelationalFormula.getFunctors()
ModifierConstructorDescriptionFunctionalTerm(Functor functor)
Creates a new functional term with the given functor.FunctionalTerm(Functor functor, 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
Modifier and TypeMethodDescriptionFolSignature.getFunctor(String s)
Get the functor with the given name.Modifier and TypeMethodDescriptionAssociativeFolFormula.getFunctors()
Equivalence.getFunctors()
ExistsQuantifiedFormula.getFunctors()
FolAtom.getFunctors()
FolSignature.getFunctors()
Returns the functors of this first-order logic signature.ForallQuantifiedFormula.getFunctors()
Implication.getFunctors()
LogicStructure.getFunctors()
Negation.getFunctors()
SpecialFormula.getFunctors()
-
Uses of Functor in org.tweetyproject.logics.ml.syntax
-
Uses of Functor in org.tweetyproject.logics.mln.syntax
-
Uses of Functor in org.tweetyproject.logics.rcl.syntax
-
Uses of Functor in org.tweetyproject.logics.rdl.syntax
-
Uses of Functor in org.tweetyproject.lp.nlp.syntax