Uses of Class
org.tweetyproject.lp.asp.syntax.ClassicalHead
-
Packages that use ClassicalHead Package Description org.tweetyproject.logics.translators.aspfol org.tweetyproject.lp.asp.parser org.tweetyproject.lp.asp.syntax -
-
Uses of ClassicalHead in org.tweetyproject.logics.translators.aspfol
Methods in org.tweetyproject.logics.translators.aspfol that return ClassicalHead Modifier and Type Method Description ClassicalHead
AspFolTranslator. toASP(Disjunction source)
Methods in org.tweetyproject.logics.translators.aspfol with parameters of type ClassicalHead Modifier and Type Method Description Disjunction
AspFolTranslator. toFOL(ClassicalHead source)
-
Uses of ClassicalHead in org.tweetyproject.lp.asp.parser
Methods in org.tweetyproject.lp.asp.parser that return ClassicalHead Modifier and Type Method Description ClassicalHead
InstantiateVisitor. visit(ASTHead node, java.lang.Object data)
-
Uses of ClassicalHead in org.tweetyproject.lp.asp.syntax
Methods in org.tweetyproject.lp.asp.syntax that return ClassicalHead Modifier and Type Method Description ClassicalHead
ClassicalHead. clone()
ClassicalHead
ClassicalHead. createEmptyFormula()
ClassicalHead
ClassicalHead. exchange(Term<?> v, Term<?> t)
ClassicalHead
ClassicalHead. substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
ClassicalHead
ClassicalHead. substitute(Term<?> t, Term<?> v)
Methods in org.tweetyproject.lp.asp.syntax with parameters of type ClassicalHead Modifier and Type Method Description void
Program. addFact(ClassicalHead fact)
void
Program. addFacts(ClassicalHead... fact)
Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ClassicalHead Constructor Description ClassicalHead(ClassicalHead other)
Copy-Constructor
-