Uses of Class
org.tweetyproject.lp.asp.syntax.ClassicalHead

Packages that use ClassicalHead

Package	Description
org.tweetyproject.logics.translators.aspfol
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)	Translates a FOL Disjunction into an ASP ClassicalHead.

Methods in org.tweetyproject.logics.translators.aspfol with parameters of type ClassicalHead

Modifier and Type	Method	Description
Disjunction	AspFolTranslator.toFOL(ClassicalHead source)	Translates a ClassicalHead (ASP disjunction) to a FOL Disjunction.

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(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

Modifier	Constructor	Description
	ClassicalHead(ClassicalHead other)	Copy-Constructor