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.solver
net.sf.tweety.lp.asp.syntax

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 and Description
Double	SdInconsistencyMeasure.inconsistencyMeasure(Program beliefBase)
Double	PmInconsistencyMeasure.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 and Description
static Program	ASPParser.parseProgram(Reader reader)
static Program	ASPParser.parseProgram(String program)
Program	InstantiateVisitor.visit(ASTProgram node, Object data)

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

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

Modifier and Type	Method and Description
AnswerSetList	DLVComplex.computeModels(Program p, int models)
AnswerSetList	DLV.computeModels(Program p, int models)
AnswerSetList	Solver.computeModels(Program p, int maxModels) this method computes at most maxModels answer sets for a given program.
AnswerSetList	Clingo.computeModels(Program p, int maxModels)
protected AnswerSetList	DLVComplex.runDLV(Program p, int nModels, String otherOptions)
protected AnswerSetList	DLV.runDLV(Program p, int nModels, String otherOptions)

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 and Description
Program	Program.clone()
static Program	Program.defaultification(Program p) Creates the defaultifictation 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(Collection<DLPLiteral> 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 and Description
void	Program.add(Program other) Adds another programs content to the content of this program.
static Program	Program.defaultification(Program p) Creates the defaultifictation p_d of a given program p.

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

Constructor and Description
Program(Program other) Copy Ctor: Used by clone method