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

Subclasses with type arguments of type Functor in org.tweetyproject.logics.commons.syntax

Modifier and Type	Class	Description
class	FunctionalTerm	A functional term in a logic language, i.e.

Methods in org.tweetyproject.logics.commons.syntax that return Functor

Modifier and Type	Method	Description
Functor	Functor.clone()
Functor	FunctionalTerm.getFunctor()	Returns the functor associated with this FunctionalTerm.

Methods in org.tweetyproject.logics.commons.syntax that return types with arguments of type Functor

Modifier and Type	Method	Description
Set<Functor>	QuantifiedFormulaSupport.getFunctors()	Returns the set of functors contained in the inner formula.
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)	Constructs a new FunctionalTerm with the specified functor and arguments.

Uses of Functor in org.tweetyproject.logics.fol.syntax

Subclasses with type arguments of type Functor in org.tweetyproject.logics.fol.syntax

Modifier and Type	Class	Description
class	FolSignature	This class captures the signature of a specific first-order language.

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()	Return all functors that appear in this structure.
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()