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