Uses of Class
net.sf.tweety.lp.asp.syntax.Program

Packages that use Program

Package	Description
net.sf.tweety.lp.asp.analysis
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.reasoner
net.sf.tweety.lp.asp.semantics
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.asp.writer

Uses of Program in net.sf.tweety.lp.asp.analysis

Methods in net.sf.tweety.lp.asp.analysis with parameters of type Program

Modifier and Type	Method	Description
Double	PmInconsistencyMeasure.inconsistencyMeasure(Program beliefBase)
Double	SdInconsistencyMeasure.inconsistencyMeasure(Program beliefBase)

Uses of Program in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return Program

Modifier and Type	Method	Description
static Program	ASPCore2Parser.parseProgram(Reader reader)
static Program	ASPCore2Parser.parseProgram(String program)
Program	InstantiateVisitor.visit(ASTProgram node, Object data)

Uses of Program in net.sf.tweety.lp.asp.reasoner

Methods in net.sf.tweety.lp.asp.reasoner with parameters of type Program

Modifier and Type	Method	Description
AnswerSet	ASPSolver.getModel(Program p, int maxInt)	Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
AnswerSet	ClingoSolver.getModel(Program p)
AnswerSet	DLVSolver.getModel(Program p)
abstract Collection<AnswerSet>	ASPSolver.getModels(Program p)
Collection<AnswerSet>	ASPSolver.getModels(Program p, int maxInt)	Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
List<AnswerSet>	ClingoSolver.getModels(Program p)
List<AnswerSet>	DLVSolver.getModels(Program p)
abstract Boolean	ASPSolver.query(Program beliefbase, ASPLiteral formula)
Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula)
Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula, net.sf.tweety.commons.InferenceMode inferenceMode)
Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula)
Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula, net.sf.tweety.commons.InferenceMode inferenceMode)

Uses of Program in net.sf.tweety.lp.asp.semantics

Methods in net.sf.tweety.lp.asp.semantics with parameters of type Program

Modifier and Type	Method	Description
boolean	AnswerSet.satisfies(Program beliefBase)

Uses of Program in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return Program

Modifier and Type	Method	Description
Program	Program.clone()
static Program	Program.defaultification(Program p)	Creates the defaultification p_d of a given program p.
Program	Program.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
Program	Program.reduct(Set<ASPLiteral> state)	Returns the reduct of this program wrt.
Program	Program.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
Program	Program.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.lp.asp.syntax with parameters of type Program

Modifier and Type	Method	Description
void	Program.add(Program other)	Adds another program's content to the content of this program.
static Program	Program.defaultification(Program p)	Creates the defaultification p_d of a given program p.

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type Program

Constructor	Description
Program(Program other)	Copy-Constructor

Uses of Program in net.sf.tweety.lp.asp.writer

Methods in net.sf.tweety.lp.asp.writer with parameters of type Program

Modifier and Type	Method	Description
void	ClingoWriter.printProgram(Program p)	Prints program