Uses of Class
org.tweetyproject.arg.aba.syntax.AbaElement

Packages that use AbaElement

Package	Description
org.tweetyproject.arg.aba.syntax

Uses of AbaElement in org.tweetyproject.arg.aba.syntax

Subclasses of AbaElement in org.tweetyproject.arg.aba.syntax

Modifier and Type	Class	Description
class	AbaRule<T extends Formula>	A common interface for assumptions and inference rules.
class	Assumption<T extends Formula>	This class models an assumption of an ABA theory.
class	InferenceRule<T extends Formula>	This class models an inference rule from an ABA theory.
class	Negation<T extends Formula>	This represents a negation relation of form

Methods in org.tweetyproject.arg.aba.syntax that return AbaElement

Modifier and Type	Method	Description
abstract AbaElement<T>	AbaElement.clone()
AbaElement<T>	Assumption.clone()
AbaElement<T>	AbaElement.exchange(Term<?> v, Term<?> t)
AbaElement<T>	AbaElement.substitute(Map<? extends Term<?>,? extends Term<?>> map)
abstract AbaElement<T>	AbaElement.substitute(Term<?> v, Term<?> t)
AbaElement<T>	InferenceRule.substitute(Term<?> v, Term<?> t)

Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type AbaElement

Modifier and Type	Method	Description
Set<? extends AbaElement<T>>	AbaElement.allGroundInstances(Set<Constant> constants)	Computes all ground instances of all inner fol formulas wrt.