Uses of Class
org.tweetyproject.logics.commons.syntax.Functor
Packages that use Functor
Package
Description
-
Uses of Functor in org.tweetyproject.arg.delp.syntax
Methods in org.tweetyproject.arg.delp.syntax that return types with arguments of type Functor -
Uses of Functor in org.tweetyproject.logics.commons.syntax
Methods in org.tweetyproject.logics.commons.syntax that return FunctorMethods in org.tweetyproject.logics.commons.syntax that return types with arguments of type FunctorModifier and TypeMethodDescriptionQuantifiedFormulaSupport.getFunctors()
RelationalFormula.getFunctors()
Constructors in org.tweetyproject.logics.commons.syntax with parameters of type FunctorModifierConstructorDescriptionFunctionalTerm(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
Methods in org.tweetyproject.logics.fol.syntax that return FunctorModifier and TypeMethodDescriptionFolSignature.getFunctor(String s)
Get the functor with the given name.Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type FunctorModifier 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
Methods in org.tweetyproject.logics.ml.syntax that return types with arguments of type Functor -
Uses of Functor in org.tweetyproject.logics.mln.syntax
Methods in org.tweetyproject.logics.mln.syntax that return types with arguments of type Functor -
Uses of Functor in org.tweetyproject.logics.rcl.syntax
Methods in org.tweetyproject.logics.rcl.syntax that return types with arguments of type Functor -
Uses of Functor in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return types with arguments of type Functor -
Uses of Functor in org.tweetyproject.lp.nlp.syntax
Methods in org.tweetyproject.lp.nlp.syntax that return types with arguments of type Functor