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 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>
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(Term<?> v, Term<?> t)
AbaElement<T>
AbaElement. substitute(java.util.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 net.sf.tweety.arg.aba.syntax that return types with arguments of type AbaElement Modifier and Type Method Description java.util.Set<? extends AbaElement<T>>
AbaElement. allGroundInstances(java.util.Set<Constant> constants)
Computes all ground instances of all inner fol formulas wrt.
-