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

Packages that use Program

Package	Description
net.sf.tweety.arg.lp.syntax
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.lp.asp.analysis
net.sf.tweety.lp.asp.beliefdynamics.baserevision
net.sf.tweety.lp.asp.beliefdynamics.revision
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.arg.lp.syntax

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

Constructor	Description
ArgumentationKnowledgeBase(Program program)

Uses of Program in net.sf.tweety.logics.translators.aspnlp

Methods in net.sf.tweety.logics.translators.aspnlp that return Program

Modifier and Type	Method	Description
Program	AspNlpTranslator.toASP(NLPProgram program)	Translate the given NLP-program into an ASP-program.
Program	AspNlpTranslator.toASP(NLPRule rule)	Translates the given NLP-rule into an ASP Program.

Methods in net.sf.tweety.logics.translators.aspnlp with parameters of type Program

Modifier and Type	Method	Description
NLPProgram	AspNlpTranslator.toNLP(Program program)

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
java.lang.Double	PmInconsistencyMeasure.inconsistencyMeasure(Program beliefBase)
java.lang.Double	SdInconsistencyMeasure.inconsistencyMeasure(Program beliefBase)

Uses of Program in net.sf.tweety.lp.asp.beliefdynamics.baserevision

Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision that return Program

Modifier and Type	Method	Description
Program	ScreenedMaxichoiceConsolidation.consolidate(Program p)	Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.
Program	ScreenedRemainderSets.getScreen()	Returns the screened rules that are contained in every remainder set.
Program	ScreenedRemainderSets.getSourceBeliefBase()	Returns the original program p for which this set represents the set of remainder sets.

Methods in net.sf.tweety.lp.asp.beliefdynamics.baserevision that return types with arguments of type Program

Modifier and Type	Method	Description
java.util.Collection<Program>	ScreenedRemainderSets.asPrograms()	Returns this set of remainder sets as a collection of programs where each program contains exactly the rules of one remainder set.

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

Modifier and Type	Method	Description
int	ELPLexicographicalComparator.compare(Program arg0, Program arg1)
Program	ScreenedMaxichoiceConsolidation.consolidate(Program p)	Calculates the screened consolidation !r of program p using a maxi-choice selection function s, i.e.

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

Constructor	Description
ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<ASPRule> selection, ASPSolver solver)	Creates a new screened maxi-choice consolidation operator with the given screen, selection function and a link to an answer set solver.
ScreenedRemainderSets(Program p, Program r, ASPSolver solver)	Creates a new set of screened remainder sets of program p that all contain the screened rules r.

Uses of Program in net.sf.tweety.lp.asp.beliefdynamics.revision

Methods in net.sf.tweety.lp.asp.beliefdynamics.revision that return Program

Modifier and Type	Method	Description
Program	CredibilityRevision.AnswersetProcessing.process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)	The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided program
Program	CredibilityRevision.DefaultBehavior.process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
Program	CredibilityRevision.revise(java.util.List<java.util.Collection<ASPRule>> ol)
Program	PreferenceHandling.revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
Program	CredibilityRevision.translate(java.util.List<Program> orderedList)	Translates the given list of programs to the credibility logic program.

Method parameters in net.sf.tweety.lp.asp.beliefdynamics.revision with type arguments of type Program

Modifier and Type	Method	Description
Program	CredibilityRevision.AnswersetProcessing.process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)	The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided program
Program	CredibilityRevision.DefaultBehavior.process(java.util.List<Program> orderedPrograms, java.util.Collection<AnswerSet> answersets)
Program	CredibilityRevision.translate(java.util.List<Program> orderedList)	Translates the given list of programs to the credibility logic program.

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(java.io.Reader reader)
static Program	ASPCore2Parser.parseProgram(java.lang.String program)
Program	InstantiateVisitor.visit(ASTProgram node, java.lang.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 java.util.Collection<AnswerSet>	ASPSolver.getModels(Program p)
java.util.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.
java.util.List<AnswerSet>	ClingoSolver.getModels(Program p)
java.util.List<AnswerSet>	DLVSolver.getModels(Program p)
abstract java.lang.Boolean	ASPSolver.query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean	ClingoSolver.query(Program beliefbase, ASPLiteral formula, InferenceMode inferenceMode)
java.lang.Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula)
java.lang.Boolean	DLVSolver.query(Program beliefbase, ASPLiteral formula, 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(Term<?> v, Term<?> t)
Program	Program.reduct(java.util.Set<ASPLiteral> state)	Returns the reduct of this program wrt.
Program	Program.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Program	Program.substitute(Term<?> v, 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