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.argumentation.parameterisedhierarchy
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.gui
net.sf.tweety.lp.asp.beliefdynamics.revision
net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
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

Fields in net.sf.tweety.arg.lp.syntax declared as Program

Modifier and Type	Field	Description
private Program	ArgumentationKnowledgeBase.program

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.argumentation.parameterisedhierarchy

Fields in net.sf.tweety.argumentation.parameterisedhierarchy declared as Program

Modifier and Type	Field	Description
(package private) Program	ArgumentationReasonerTest.prog

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

Fields in net.sf.tweety.lp.asp.beliefdynamics.baserevision declared as Program

Modifier and Type	Field	Description
private Program	ScreenedRemainderSets.program
private Program	ScreenedMaxichoiceConsolidation.screen
private Program	ScreenedRemainderSets.screen

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.
private java.util.Set<Program>	ScreenedRemainderSets.calculateRemainderSetCandidates(Program p)	Recursively calculates consistent subsets of p.

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

Modifier and Type	Method	Description
private java.util.Set<Program>	ScreenedRemainderSets.calculateRemainderSetCandidates(Program p)	Recursively calculates consistent subsets of p.
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.
private boolean	ScreenedRemainderSets.isConsistent(Program p)
private boolean	ScreenedRemainderSets.isProperSubset(Program p, Program q)	Returns true iff program p is a proper (strict) subset of program q

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.gui

Fields in net.sf.tweety.lp.asp.beliefdynamics.gui declared as Program

Modifier and Type	Field	Description
protected Program	SimpleRevisionCompareModel.beliefBase
protected Program	SimpleRevisionCompareModel.newBeliefs

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
private Program	CredibilityTest.loadFromJar(java.lang.String filename)
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.
private Program	CredibilityRevision.translate(Program p, int programCredibility)	Helper method: Translates the given program

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

Modifier and Type	Method	Description
protected static java.util.List<Pair<ASPRule,ASPRule>>	PreferenceHandling.getConflictingRules(Program p1, Program p2)	Helper method: Finds all pairs of conflicting rules in program p1 and p2.
private Program	CredibilityRevision.translate(Program p, int programCredibility)	Helper method: Translates the given 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.beliefdynamics.selectiverevision

Fields in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision declared as Program

Modifier and Type	Field	Description
private Program	NaiveLiteralTransformationFunction.beliefSet
private Program	ScepticalLiteralTransformationFunction.beliefSet

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