Uses of Class
org.tweetyproject.lp.asp.syntax.ClassicalHead
-
Uses of ClassicalHead in org.tweetyproject.logics.translators.aspfol
-
Uses of ClassicalHead in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionClassicalHead.clone()
ClassicalHead.createEmptyFormula()
ClassicalHead.substitute(Map<? extends Term<?>,? extends Term<?>> map)
ClassicalHead.substitute(Term<?> t, Term<?> v)
Modifier and TypeMethodDescriptionvoid
Program.addFact(ClassicalHead fact)
void
Program.addFacts(ClassicalHead... fact)