Uses of Class
org.tweetyproject.arg.aba.syntax.AbaElement
-
Uses of AbaElement in org.tweetyproject.arg.aba.syntax
Modifier and TypeClassDescriptionclass
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
Modifier and TypeMethodDescriptionabstract AbaElement<T>
AbaElement.clone()
Assumption.clone()
AbaElement.substitute(Map<? extends Term<?>,? extends Term<?>> map)
abstract AbaElement<T>
AbaElement.substitute(Term<?> v, Term<?> t)
InferenceRule.substitute(Term<?> v, Term<?> t)
Modifier and TypeMethodDescriptionSet<? extends AbaElement<T>>
AbaElement.allGroundInstances(Set<Constant> constants)
Computes all ground instances of all inner fol formulas wrt.