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

Packages that use Functor

Package	Description
org.tweetyproject.arg.delp.syntax
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.lp.nlp.syntax

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
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
Set<Functor>	QuantifiedFormulaSupport.getFunctors()
abstract Set<Functor>	RelationalFormula.getFunctors()

Constructors in org.tweetyproject.logics.commons.syntax with parameters of type Functor

Modifier	Constructor	Description
	FunctionalTerm(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 Functor

Modifier and Type	Method	Description
Functor	FolSignature.getFunctor(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
Set<Functor>	AssociativeFolFormula.getFunctors()
Set<Functor>	Equivalence.getFunctors()
Set<Functor>	ExistsQuantifiedFormula.getFunctors()
Set<Functor>	FolAtom.getFunctors()
Set<Functor>	FolSignature.getFunctors()	Returns the functors of this first-order logic signature.
Set<Functor>	ForallQuantifiedFormula.getFunctors()
Set<Functor>	Implication.getFunctors()
abstract Set<Functor>	LogicStructure.getFunctors()
Set<Functor>	Negation.getFunctors()
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
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
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
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
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
Set<Functor>	NLPNot.getFunctors()