Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.Term

Packages that use Term

Package	Description
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature
net.sf.tweety.arg.delp
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.syntax
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.parser
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.reasoner
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.syntax
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

Uses of Term in net.sf.tweety.action.query.syntax

Method parameters in net.sf.tweety.action.query.syntax with type arguments of type Term

Modifier and Type	Method and Description
abstract QueryProposition	QueryProposition.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Returns a new query proposition of the same type, in which all variables in inner formulas and actions are replaced according to the given map.
abstract QueryProposition	QueryProposition.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Returns a new query proposition of the same type, in which all variables in inner formulas and actions are replaced according to the given map.
QueryProposition	AlwaysQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	AlwaysQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	NecessarilyQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	NecessarilyQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	HoldsQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition	HoldsQuery.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)

Uses of Term in net.sf.tweety.action.signature

Method parameters in net.sf.tweety.action.signature with type arguments of type Term

Modifier and Type	Method and Description
FolAction	FolAction.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes terms in all non-zero-arity atoms in this action according to the given map.
FolAction	FolAction.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes terms in all non-zero-arity atoms in this action according to the given map.

Uses of Term in net.sf.tweety.arg.delp

Fields in net.sf.tweety.arg.delp with type parameters of type Term

Modifier and Type	Field and Description
private static java.util.List<Term<?>>	TestArguments.TINA

Uses of Term in net.sf.tweety.arg.delp.parser

Methods in net.sf.tweety.arg.delp.parser that return Term

Modifier and Type	Method and Description
Term	DelpParser.Term(DefeasibleLogicProgram delp, FolSignature signature)

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

Methods in net.sf.tweety.arg.delp.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> java.util.Set<C>	DelpRule.getTerms(java.lang.Class<C> cls)

Methods in net.sf.tweety.arg.delp.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.Set<Term<?>>	DelpRule.getTerms()

Methods in net.sf.tweety.arg.delp.syntax with parameters of type Term

Modifier and Type	Method and Description
RelationalFormula	StrictRule.substitute(Term<?> v, Term<?> t)
RelationalFormula	StrictRule.substitute(Term<?> v, Term<?> t)
RelationalFormula	DefeasibleRule.substitute(Term<?> v, Term<?> t)
RelationalFormula	DefeasibleRule.substitute(Term<?> v, Term<?> t)
abstract RelationalFormula	DelpRule.substitute(Term<?> v, Term<?> t)
abstract RelationalFormula	DelpRule.substitute(Term<?> v, Term<?> t)
RelationalFormula	DelpFact.substitute(Term<?> v, Term<?> t)
RelationalFormula	DelpFact.substitute(Term<?> v, Term<?> t)

Uses of Term in net.sf.tweety.arg.dung.ldo.syntax

Methods in net.sf.tweety.arg.dung.ldo.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.List<? extends Term<?>>	LdoArgument.getArguments()

Methods in net.sf.tweety.arg.dung.ldo.syntax with parameters of type Term

Modifier and Type	Method and Description
void	LdoArgument.addArgument(Term<?> arg)

Uses of Term in net.sf.tweety.logics.commons.syntax

Classes in net.sf.tweety.logics.commons.syntax that implement Term

Modifier and Type	Class and Description
class	Constant A Constant represents an constant object in the world of a logical language.
class	FunctionalTerm A functional term in a logic language, i.e.
class	NumberTerm This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.
class	StringTerm This class represents terms which are objects identified by a string.
class	TermAdapter<T> Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms.
class	Variable A Variable is a placeholder for Constants in a generic formula of a logic language.

Methods in net.sf.tweety.logics.commons.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> boolean	RelationalFormula.containsTermsOfType(java.lang.Class<C> cls)
<C extends Term<?>> boolean	TermAdapter.containsTermsOfType(java.lang.Class<C> cls)
<C extends Term<?>> boolean	ComplexLogicalFormulaAdapter.containsTermsOfType(java.lang.Class<C> cls)
<C extends Term<?>> boolean	Sort.containsTermsOfType(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	TermAdapter.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	FunctionalTerm.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	QuantifiedFormulaSupport.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	ComplexLogicalFormulaAdapter.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	Sort.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	AssociativeFormulaSupport.getTerms(java.lang.Class<C> cls)

Methods in net.sf.tweety.logics.commons.syntax that return Term

Modifier and Type	Method and Description
Term<?>	TermAdapter.substitute(Term<?> v, Term<?> t)
Term<?>	FunctionalTerm.substitute(Term<?> v, Term<?> t)

Methods in net.sf.tweety.logics.commons.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.Set<java.util.Map<Variable,Term<?>>>	RelationalFormula.allSubstitutions(java.util.Collection<? extends Term<?>> terms) Computes all possible substitutions, i.e.
java.util.List<Term<?>>	FunctionalTerm.getArguments()
java.util.Set<Term<?>>	TermAdapter.getTerms()
java.util.Set<Term<?>>	FunctionalTerm.getTerms()
java.util.Set<Term<?>>	QuantifiedFormulaSupport.getTerms()
java.util.Set<Term<?>>	Sort.getTerms()
java.util.Set<Term<?>>	AssociativeFormulaSupport.getTerms()
static java.util.Map<Sort,java.util.Set<Term<?>>>	Sort.sortTerms(java.util.Collection<? extends Term<?>> terms) Sorts the set of given terms by their sorts, i.e.

Methods in net.sf.tweety.logics.commons.syntax with parameters of type Term

Modifier and Type	Method and Description
void	Sort.add(Term<?> term) Adds the given term to this sort.
FunctionalTerm	FunctionalTerm.addArgument(Term<?> term) Appends the given argument to this term's arguments and returns itself.
RelationalFormula	RelationalFormula.exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
RelationalFormula	RelationalFormula.exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.exchange(Term<?> v, Term<?> t)
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.exchange(Term<?> v, Term<?> t)
boolean	Sort.remove(Term<?> term) Removes the given term from this sort.
abstract RelationalFormula	RelationalFormula.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
abstract RelationalFormula	RelationalFormula.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
Term<?>	TermAdapter.substitute(Term<?> v, Term<?> t)
Term<?>	TermAdapter.substitute(Term<?> v, Term<?> t)
Term<?>	FunctionalTerm.substitute(Term<?> v, Term<?> t)
Term<?>	FunctionalTerm.substitute(Term<?> v, Term<?> t)
ComplexLogicalFormula	AssociativeFormulaSupport.substitute(Term<?> v, Term<?> t)
ComplexLogicalFormula	AssociativeFormulaSupport.substitute(Term<?> v, Term<?> t)

Method parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Term

Modifier and Type	Method and Description
java.util.Set<java.util.Map<Variable,Term<?>>>	RelationalFormula.allSubstitutions(java.util.Collection<? extends Term<?>> terms) Computes all possible substitutions, i.e.
static java.util.Map<Sort,java.util.Set<Term<?>>>	Sort.sortTerms(java.util.Collection<? extends Term<?>> terms) Sorts the set of given terms by their sorts, i.e.
RelationalFormula	RelationalFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula. NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map.
RelationalFormula	RelationalFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula. NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map.
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)

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

Constructor and Description
FunctionalTerm(Functor functor, Term<?>... terms)

Constructor parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Term

Constructor and Description
FunctionalTerm(Functor functor, java.util.List<Term<?>> arguments) Creates a new functional term with the given functor and the given list of arguments.

Uses of Term in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> boolean	LogicStructure.containsTermsOfType(java.lang.Class<C> cls) Checks if this logical structure contains at least one term of type C.
<C extends Term<?>> java.util.Set<C>	LogicStructure.getTerms(java.lang.Class<C> cls) Processes the set containing all terms of type C.

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return Term

Modifier and Type	Method and Description
Term<?>	Term.clone() Creates a deep copy of the term
Term<?>	Term.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.List<? extends Term<?>>	Atom.getArguments()
java.util.Set<Term<?>>	LogicStructure.getTerms()

Methods in net.sf.tweety.logics.commons.syntax.interfaces with parameters of type Term

Modifier and Type	Method and Description
void	Atom.addArgument(Term<?> arg) Adds an argument to the atom's argument list
LogicProgram<?,?,?>	LogicProgram.exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
LogicProgram<?,?,?>	LogicProgram.exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
Term<?>	Term.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.
Term<?>	Term.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.
LogicProgram<?,?,?>	LogicProgram.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
LogicProgram<?,?,?>	LogicProgram.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Method parameters in net.sf.tweety.logics.commons.syntax.interfaces with type arguments of type Term

Modifier and Type	Method and Description
static Atom.RETURN_SET_PREDICATE	Atom.AtomImpl.implSetPredicate(Predicate old, Predicate newer, java.util.List<Term<?>> arguments)
LogicProgram<?,?,?>	LogicProgram.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
LogicProgram<?,?,?>	LogicProgram.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.

Uses of Term in net.sf.tweety.logics.fol.parser

Methods in net.sf.tweety.logics.fol.parser that return types with arguments of type Term

Modifier and Type	Method and Description
private java.util.List<Term<?>>	TPTPParser.parseTermlist(java.util.List<java.lang.Object> l) Parses a term list as a list of String tokens or terms into a list of terms.
private java.util.List<Term<?>>	FolParser.parseTermlist(java.util.List<java.lang.Object> l) Parses a term list as a list of String tokens or terms into a list of terms.

Uses of Term in net.sf.tweety.logics.fol.semantics

Methods in net.sf.tweety.logics.fol.semantics with parameters of type Term

Modifier and Type	Method and Description
HerbrandInterpretation	HerbrandInterpretation.exchange(Term<?> t1, Term<?> t2) Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.
HerbrandInterpretation	HerbrandInterpretation.exchange(Term<?> t1, Term<?> t2) Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.

Method parameters in net.sf.tweety.logics.fol.semantics with type arguments of type Term

Modifier and Type	Method and Description
HerbrandInterpretation	HerbrandInterpretation.exchange(java.util.Map<Term<?>,Term<?>> mapping) For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation
HerbrandInterpretation	HerbrandInterpretation.exchange(java.util.Map<Term<?>,Term<?>> mapping) For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation
private java.util.Set<FOLAtom>	HerbrandBase.getAllInstantiations(FolSignature sig, Predicate p, java.util.List<Term<?>> arguments) Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.

Uses of Term in net.sf.tweety.logics.fol.syntax

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

Modifier and Type	Field and Description
private java.util.List<Term<?>>	FOLAtom.arguments The arguments of the atom

Methods in net.sf.tweety.logics.fol.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> java.util.Set<C>	SpecialFormula.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	AssociativeFOLFormula.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	Equivalence.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	ForallQuantifiedFormula.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	ExistsQuantifiedFormula.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	FOLAtom.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	Implication.getTerms(java.lang.Class<C> cls)
<C extends Term<?>> java.util.Set<C>	Negation.getTerms(java.lang.Class<C> cls)

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

Modifier and Type	Method and Description
java.util.List<Term<?>>	FOLAtom.getArguments()
java.util.Set<Term<?>>	SpecialFormula.getTerms()
java.util.Set<Term<?>>	AssociativeFOLFormula.getTerms()
java.util.Set<Term<?>>	Equivalence.getTerms()
java.util.Set<Term<?>>	ForallQuantifiedFormula.getTerms()
java.util.Set<Term<?>>	ExistsQuantifiedFormula.getTerms()
java.util.Set<Term<?>>	FOLAtom.getTerms()
java.util.Set<Term<?>>	Implication.getTerms()
java.util.Set<Term<?>>	Negation.getTerms()

Methods in net.sf.tweety.logics.fol.syntax with parameters of type Term

Modifier and Type	Method and Description
void	FOLAtom.addArgument(Term<?> term) Appends the given argument to this atom's arguments and returns itself.
Conjunction	Conjunction.substitute(Term<?> v, Term<?> t)
Conjunction	Conjunction.substitute(Term<?> v, Term<?> t)
FolFormula	SpecialFormula.substitute(Term<?> v, Term<?> t)
FolFormula	SpecialFormula.substitute(Term<?> v, Term<?> t)
AssociativeFOLFormula	AssociativeFOLFormula.substitute(Term<?> v, Term<?> t)
AssociativeFOLFormula	AssociativeFOLFormula.substitute(Term<?> v, Term<?> t)
FolFormula	Equivalence.substitute(Term<?> v, Term<?> t)
FolFormula	Equivalence.substitute(Term<?> v, Term<?> t)
ForallQuantifiedFormula	ForallQuantifiedFormula.substitute(Term<?> v, Term<?> t)
ForallQuantifiedFormula	ForallQuantifiedFormula.substitute(Term<?> v, Term<?> t)
abstract FolFormula	FolFormula.substitute(Term<?> v, Term<?> t)
abstract FolFormula	FolFormula.substitute(Term<?> v, Term<?> t)
ExistsQuantifiedFormula	ExistsQuantifiedFormula.substitute(Term<?> v, Term<?> t)
ExistsQuantifiedFormula	ExistsQuantifiedFormula.substitute(Term<?> v, Term<?> t)
FOLAtom	FOLAtom.substitute(Term<?> v, Term<?> t)
FOLAtom	FOLAtom.substitute(Term<?> v, Term<?> t)
FolFormula	Implication.substitute(Term<?> v, Term<?> t)
FolFormula	Implication.substitute(Term<?> v, Term<?> t)
Negation	Negation.substitute(Term<?> v, Term<?> t)
Negation	Negation.substitute(Term<?> v, Term<?> t)

Method parameters in net.sf.tweety.logics.fol.syntax with type arguments of type Term

Modifier and Type	Method and Description
AssociativeFOLFormula	AssociativeFOLFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> termMap)
AssociativeFOLFormula	AssociativeFOLFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> termMap)

Constructors in net.sf.tweety.logics.fol.syntax with parameters of type Term

Constructor and Description
FOLAtom(Predicate predicate, Term<?>... terms)

Constructor parameters in net.sf.tweety.logics.fol.syntax with type arguments of type Term

Constructor and Description
FOLAtom(Predicate predicate, java.util.List<? extends Term<?>> arguments) Creates a new atom with the given predicate and list of terms

Uses of Term in net.sf.tweety.logics.ml.parser

Methods in net.sf.tweety.logics.ml.parser that return types with arguments of type Term

Modifier and Type	Method and Description
private java.util.List<Term<?>>	ModalParser.parseTermlist(java.util.List<java.lang.Object> l) Parses a term list as a list of String tokens or terms into a list of terms.

Uses of Term in net.sf.tweety.logics.ml.semantics

Methods in net.sf.tweety.logics.ml.semantics with parameters of type Term

Modifier and Type	Method and Description
ModalHerbrandInterpretation	ModalHerbrandInterpretation.exchange(Term<?> t1, Term<?> t2) Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.
ModalHerbrandInterpretation	ModalHerbrandInterpretation.exchange(Term<?> t1, Term<?> t2) Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.

Method parameters in net.sf.tweety.logics.ml.semantics with type arguments of type Term

Modifier and Type	Method and Description
ModalHerbrandInterpretation	ModalHerbrandInterpretation.exchange(java.util.Map<Term<?>,Term<?>> mapping) For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation
ModalHerbrandInterpretation	ModalHerbrandInterpretation.exchange(java.util.Map<Term<?>,Term<?>> mapping) For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation

Uses of Term in net.sf.tweety.logics.ml.syntax

Methods in net.sf.tweety.logics.ml.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> java.util.Set<C>	ModalFormula.getTerms(java.lang.Class<C> cls)

Methods in net.sf.tweety.logics.ml.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.Set<Term<?>>	ModalFormula.getTerms()

Methods in net.sf.tweety.logics.ml.syntax with parameters of type Term

Modifier and Type	Method and Description
FolFormula	Necessity.substitute(Term<?> v, Term<?> t)
FolFormula	Necessity.substitute(Term<?> v, Term<?> t)
FolFormula	Possibility.substitute(Term<?> v, Term<?> t)
FolFormula	Possibility.substitute(Term<?> v, Term<?> t)

Uses of Term in net.sf.tweety.logics.mln.reasoner

Methods in net.sf.tweety.logics.mln.reasoner with parameters of type Term

Modifier and Type	Method and Description
private java.lang.String	AlchemyMlnReasoner.alchemyStringForTerm(Term<?> t) Returns the string in Alchemy syntax representing the given term.

Uses of Term in net.sf.tweety.logics.mln.syntax

Methods in net.sf.tweety.logics.mln.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> java.util.Set<C>	MlnFormula.getTerms(java.lang.Class<C> cls)

Methods in net.sf.tweety.logics.mln.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.Set<Term<?>>	MlnFormula.getTerms()

Methods in net.sf.tweety.logics.mln.syntax with parameters of type Term

Modifier and Type	Method and Description
RelationalFormula	MlnFormula.substitute(Term<?> v, Term<?> t)
RelationalFormula	MlnFormula.substitute(Term<?> v, Term<?> t)

Uses of Term in net.sf.tweety.logics.pl.syntax

Methods in net.sf.tweety.logics.pl.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.List<? extends Term<?>>	Proposition.getArguments()

Methods in net.sf.tweety.logics.pl.syntax with parameters of type Term

Modifier and Type	Method and Description
void	Proposition.addArgument(Term<?> arg)

Uses of Term in net.sf.tweety.logics.rcl.syntax

Methods in net.sf.tweety.logics.rcl.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> java.util.Set<C>	RelationalConditional.getTerms(java.lang.Class<C> cls)

Methods in net.sf.tweety.logics.rcl.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.Set<Term<?>>	RelationalConditional.getTerms()

Methods in net.sf.tweety.logics.rcl.syntax with parameters of type Term

Modifier and Type	Method and Description
RelationalFormula	RelationalConditional.substitute(Term<?> v, Term<?> t)
RelationalFormula	RelationalConditional.substitute(Term<?> v, Term<?> t)

Uses of Term in net.sf.tweety.logics.rdl.syntax

Methods in net.sf.tweety.logics.rdl.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> java.util.Set<C>	DefaultRule.getTerms(java.lang.Class<C> cls)

Methods in net.sf.tweety.logics.rdl.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.Set<Term<?>>	DefaultRule.getTerms()

Methods in net.sf.tweety.logics.rdl.syntax with parameters of type Term

Modifier and Type	Method and Description
RelationalFormula	DefaultRule.substitute(Term<?> v, Term<?> t)
RelationalFormula	DefaultRule.substitute(Term<?> v, Term<?> t)

Uses of Term in net.sf.tweety.logics.rpcl.syntax

Methods in net.sf.tweety.logics.rpcl.syntax with parameters of type Term

Modifier and Type	Method and Description
RpclBeliefSet	RpclBeliefSet.exchange(Term<?> a, Term<?> b) Exchanges every occurence of "a" by "b" and vice versa.
RpclBeliefSet	RpclBeliefSet.exchange(Term<?> a, Term<?> b) Exchanges every occurence of "a" by "b" and vice versa.
RelationalFormula	RelationalProbabilisticConditional.substitute(Term<?> v, Term<?> t)
RelationalFormula	RelationalProbabilisticConditional.substitute(Term<?> v, Term<?> t)

Uses of Term in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return Term

Modifier and Type	Method and Description
Term<?>	InstantiateVisitor.visit(ASTArithmeticInteger node, java.lang.Object data)
Term<?>	InstantiateVisitor.visit(ASTListTail node, java.lang.Object data)
Term<?>	InstantiateVisitor.visit(ASTSimpleTerm node, java.lang.Object data)
Term<?>	InstantiateVisitor.visit(ASTTerm node, java.lang.Object data)

Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.List<Term<?>>	InstantiateVisitor.visit(ASTTermLst node, java.lang.Object data)

Method parameters in net.sf.tweety.lp.asp.parser with type arguments of type Term

Modifier and Type	Method and Description
private void	ParserTest.testSet(java.util.Set<Term<?>> set, InstantiateVisitor visitor)

Uses of Term in net.sf.tweety.lp.asp.syntax

Classes in net.sf.tweety.lp.asp.syntax that implement Term

Modifier and Type	Class and Description
class	ListTerm This class models a list term that can be used for DLV complex programs.
class	SetTerm This class models a set term, which can be used for sets in DLV complex programs.

Fields in net.sf.tweety.lp.asp.syntax declared as Term

Modifier and Type	Field and Description
private Term<?>	ListTermValue.head
private Term<?>	Comparative.left
private Term<?>	Arithmetic.left the term X on the left of an arithmetic expression: Z=X+Y or the first argument of an build-in function #func(X,Y,Z)
protected Term<?>	Aggregate.leftGuard
private Term<?>	Arithmetic.result the term Z giving the result of the arithmetic expression: Z=X+Y or the third argument of an build-in function #func(X,Y,Z)
private Term<?>	Comparative.right
private Term<?>	Arithmetic.right the term Y on the right of the arithmetic expression: Z=X+Y or the second argument of an build-in function #func(X,Y,Z)
protected Term<?>	Aggregate.rightGuard
private Term<?>	ListTermValue.tail

Fields in net.sf.tweety.lp.asp.syntax with type parameters of type Term

Modifier and Type	Field and Description
protected java.util.List<Term<?>>	DLPAtom.arguments a list of arguments of the atom
private java.util.List<Term<?>>	ListTermValue.list

Methods in net.sf.tweety.lp.asp.syntax that return Term

Modifier and Type	Method and Description
Term<?>	Arithmetic.getLeftArgument()
Term<?>	Aggregate.getLeftGuard()
Term<?>	Comparative.getLefthand()
Term<?>	Arithmetic.getResult()
Term<?>	Arithmetic.getRightArgument()
Term<?>	Aggregate.getRightGuard()
Term<?>	Comparative.getRighthand()
Term<?>	DLPAtom.getTerm(int index)
Term<?>	ListTermValue.head()
Term<?>	ListTermValue.tail()

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.List<? extends Term<?>>	DLPAtom.getArguments()
java.util.List<? extends Term<?>>	DLPNeg.getArguments()
java.util.Set<Term<?>>	DLPAtom.getTerms()
java.util.Set<Term<?>>	DLPNeg.getTerms()
java.util.Set<Term<?>>	Rule.getTerms()
java.util.Set<Term<?>>	DLPNot.getTerms()
java.util.Set<Term<?>>	DLPHead.getTerms()
java.util.Set<Term<?>>	Aggregate.getTerms()
java.util.Set<Term<?>>	Comparative.getTerms()
java.util.Set<Term<?>>	Arithmetic.getTerms()
java.util.List<Term<?>>	ListTermValue.list()

Methods in net.sf.tweety.lp.asp.syntax with parameters of type Term

Modifier and Type	Method and Description
void	DLPAtom.addArgument(Term<?> arg)
void	DLPNeg.addArgument(Term<?> arg)
DLPAtom	DLPAtom.cloneWithAddedTerm(Term<?> tval)
DLPLiteral	DLPNeg.cloneWithAddedTerm(Term<?> term)
DLPLiteral	DLPLiteral.cloneWithAddedTerm(Term<?> term) Creates a copy of the literal and adds the given term as argument to the end of the argument list.
Program	Program.exchange(Term<?> v, Term<?> t)
Program	Program.exchange(Term<?> v, Term<?> t)
void	Aggregate.setLeftGuard(Term<?> guard, java.lang.String rel)
void	Aggregate.setRightGuard(Term<?> guard, java.lang.String rel)
DLPAtom	DLPAtom.substitute(Term<?> v, Term<?> t)
DLPAtom	DLPAtom.substitute(Term<?> v, Term<?> t)
DLPNeg	DLPNeg.substitute(Term<?> v, Term<?> t)
DLPNeg	DLPNeg.substitute(Term<?> v, Term<?> t)
Rule	Rule.substitute(Term<?> v, Term<?> t)
Rule	Rule.substitute(Term<?> v, Term<?> t)
Program	Program.substitute(Term<?> v, Term<?> t)
Program	Program.substitute(Term<?> v, Term<?> t)
DLPLiteral	DLPLiteral.substitute(Term<?> v, Term<?> t)
DLPLiteral	DLPLiteral.substitute(Term<?> v, Term<?> t)
DLPNot	DLPNot.substitute(Term<?> v, Term<?> t)
DLPNot	DLPNot.substitute(Term<?> v, Term<?> t)
DLPHead	DLPHead.substitute(Term<?> v, Term<?> t)
DLPHead	DLPHead.substitute(Term<?> v, Term<?> t)
Aggregate	Aggregate.substitute(Term<?> t, Term<?> v)
Aggregate	Aggregate.substitute(Term<?> t, Term<?> v)
Comparative	Comparative.substitute(Term<?> t, Term<?> v)
Comparative	Comparative.substitute(Term<?> t, Term<?> v)
Arithmetic	Arithmetic.substitute(Term<?> t, Term<?> v)
Arithmetic	Arithmetic.substitute(Term<?> t, Term<?> v)
DLPElement	DLPElement.substitute(Term<?> t, Term<?> v)
DLPElement	DLPElement.substitute(Term<?> t, Term<?> v)

Method parameters in net.sf.tweety.lp.asp.syntax with type arguments of type Term

Modifier and Type	Method and Description
protected java.lang.String	ListTerm.listPrint(java.util.Collection<Term<?>> tl)
Program	Program.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Program	Program.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type Term

Constructor and Description
Aggregate(java.lang.String functor, SymbolicSet ss, java.lang.String rightOp, Term<?> rightGuard)
Aggregate(Term<?> leftGuard, java.lang.String leftOp, java.lang.String functor, SymbolicSet ss)
Aggregate(Term<?> leftGuard, java.lang.String leftOp, java.lang.String functor, SymbolicSet ss, java.lang.String rightOp, Term<?> rightGuard)
Aggregate(Term<?> leftGuard, java.lang.String leftOp, java.lang.String functor, SymbolicSet ss, java.lang.String rightOp, Term<?> rightGuard)
Arithmetic(java.lang.String op, Term<?> left, Term<?> right, Term<?> result)
Arithmetic(java.lang.String op, Term<?> left, Term<?> right, Term<?> result)
Arithmetic(java.lang.String op, Term<?> left, Term<?> right, Term<?> result)
Comparative(java.lang.String op, Term<?> lefthand, Term<?> righthand)
Comparative(java.lang.String op, Term<?> lefthand, Term<?> righthand)
DLPAtom(java.lang.String symbol, Term<?>... terms) Ctor: Creates an atom with the given predicate as name and the given terms as argument
DLPNeg(java.lang.String symbol, Term<?>... terms)
ListTerm(Term<?> head, Term<?> tail) constructor for list elements with given [head|tail].
ListTerm(Term<?> head, Term<?> tail) constructor for list elements with given [head|tail].
ListTermValue(Term<?> head, Term<?> tail)
ListTermValue(Term<?> head, Term<?> tail)

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type Term

Constructor and Description
DLPAtom(java.lang.String symbol, java.util.List<? extends Term<?>> terms) Creates a predicate for the atom from symbol name and uses a list of terms as arguments for the atom.
DLPNeg(java.lang.String symbol, java.util.List<Term<?>> terms) Default constructor, creates an atom from a functor name and a list of terms.
ListTermValue(java.util.Collection<? extends Term<?>> terms)
SetTerm(java.util.Collection<Term<?>> terms)

Uses of Term in net.sf.tweety.lp.nlp.syntax

Methods in net.sf.tweety.lp.nlp.syntax with type parameters of type Term

Modifier and Type	Method and Description
<C extends Term<?>> java.util.Set<C>	NLPNot.getTerms(java.lang.Class<C> cls)

Methods in net.sf.tweety.lp.nlp.syntax that return types with arguments of type Term

Modifier and Type	Method and Description
java.util.Set<Term<?>>	NLPRule.getTerms()
java.util.Set<Term<?>>	NLPNot.getTerms()

Methods in net.sf.tweety.lp.nlp.syntax with parameters of type Term

Modifier and Type	Method and Description
NLPProgram	NLPProgram.exchange(Term<?> v, Term<?> t)
NLPProgram	NLPProgram.exchange(Term<?> v, Term<?> t)
NLPProgram	NLPProgram.substitute(Term<?> t, Term<?> v)
NLPProgram	NLPProgram.substitute(Term<?> t, Term<?> v)
NLPRule	NLPRule.substitute(Term<?> v, Term<?> t)
NLPRule	NLPRule.substitute(Term<?> v, Term<?> t)
NLPNot	NLPNot.substitute(Term<?> v, Term<?> t)
NLPNot	NLPNot.substitute(Term<?> v, Term<?> t)

Method parameters in net.sf.tweety.lp.nlp.syntax with type arguments of type Term

Modifier and Type	Method and Description
NLPProgram	NLPProgram.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
NLPProgram	NLPProgram.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)