Uses of Class net.sf.tweety.logics.commons.syntax.Functor

Packages that use Functor
Package	Description
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.lp.nlp.syntax

Uses of Functor in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Functor
Modifier and Type	Method	Description
`Functor`	Functor.`clone()`
`Functor`	FunctionalTerm.`getFunctor()`

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.ml.syntax

Methods in net.sf.tweety.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 net.sf.tweety.logics.mln.syntax

Methods in net.sf.tweety.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 net.sf.tweety.logics.rcl.syntax

Methods in net.sf.tweety.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 net.sf.tweety.logics.rdl.syntax

Methods in net.sf.tweety.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 net.sf.tweety.lp.nlp.syntax

Methods in net.sf.tweety.lp.nlp.syntax that return types with arguments of type Functor
Modifier and Type Method Description

java.util.Set<Functor> NLPNot.getFunctors()