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

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type Functor

Constructor and 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

Fields in net.sf.tweety.logics.fol.syntax with type parameters of type Functor

Modifier and Type	Field and Description
private java.util.Set<Functor>	FolSignature.functors

Methods in net.sf.tweety.logics.fol.syntax that return Functor

Modifier and Type	Method and Description
Functor	FolSignature.getFunctor(java.lang.String s)

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type Functor

Modifier and Type	Method and Description
java.util.Set<Functor>	SpecialFormula.getFunctors()
java.util.Set<Functor>	AssociativeFOLFormula.getFunctors()
java.util.Set<Functor>	Equivalence.getFunctors()
java.util.Set<Functor>	ForallQuantifiedFormula.getFunctors()
java.util.Set<Functor>	ExistsQuantifiedFormula.getFunctors()
java.util.Set<Functor>	FOLAtom.getFunctors()
abstract java.util.Set<Functor>	LogicStructure.getFunctors() Returns all functors that appear in this structure.
java.util.Set<Functor>	FolSignature.getFunctors()
java.util.Set<Functor>	Implication.getFunctors()
java.util.Set<Functor>	Negation.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 and Description
java.util.Set<Functor>	ModalFormula.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 and 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 and 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 and 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 and Description
java.util.Set<Functor>	NLPNot.getFunctors()