Uses of Class
net.sf.tweety.arg.aba.syntax.AbaElement

Packages that use AbaElement

Package	Description
net.sf.tweety.arg.aba.syntax

Uses of AbaElement in net.sf.tweety.arg.aba.syntax

Subclasses of AbaElement in net.sf.tweety.arg.aba.syntax

Modifier and Type	Class	Description
class	AbaRule<T extends net.sf.tweety.commons.Formula>	A common interface for assumptions and inference rules.
class	Assumption<T extends net.sf.tweety.commons.Formula>	This class models an assumption of an ABA theory.
class	InferenceRule<T extends net.sf.tweety.commons.Formula>	This class models an inference rule from an ABA theory.
class	Negation<T extends net.sf.tweety.commons.Formula>

Methods in net.sf.tweety.arg.aba.syntax that return AbaElement

Modifier and Type	Method	Description
abstract AbaElement<T>	AbaElement.clone()
AbaElement<T>	Assumption.clone()
AbaElement<T>	AbaElement.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
AbaElement<T>	AbaElement.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
abstract AbaElement<T>	AbaElement.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
AbaElement<T>	InferenceRule.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.arg.aba.syntax that return types with arguments of type AbaElement

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