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

Packages that use Program

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

Uses of Program in net.sf.tweety.arg.lp

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

Modifier and Type	Field and Description
private Program	ArgumentationKnowledgeBase.program

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

Constructor and 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 and 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 and 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 and 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 and Description
java.lang.Double	SdInconsistencyMeasure.inconsistencyMeasure(Program beliefBase)
java.lang.Double	PmInconsistencyMeasure.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 and Description
private Program	ScreenedRemainderSets.program
private Program	ScreenedRemainderSets.screen
private Program	ScreenedMaxichoiceConsolidation.screen

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

Modifier and Type	Method and 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 and 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 and 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 and Description
ScreenedMaxichoiceConsolidation(Program screen, SelectionFunction<Rule> selection, Solver 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, Solver 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 and 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 and Description
private Program	CredibilityTest.loadFromJar(java.lang.String filename)
Program	CredibilityRevision.AnswersetProcessing.process(java.util.List<Program> orderedPrograms, AnswerSetList 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, AnswerSetList answersets)
Program	PreferenceHandling.revise(java.util.Collection<Rule> base, java.util.Collection<Rule> formulas)
Program	CredibilityRevision.revise(java.util.List<java.util.Collection<Rule>> ol)
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 and Description
protected static java.util.List<Pair<Rule,Rule>>	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 and Description
Program	CredibilityRevision.AnswersetProcessing.process(java.util.List<Program> orderedPrograms, AnswerSetList 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, AnswerSetList 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 and Description
private Program	ScepticalLiteralTransformationFunction.beliefSet
private Program	NaiveLiteralTransformationFunction.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 and Description
static Program	ASPParser.parseProgram(java.io.Reader reader)
static Program	ASPParser.parseProgram(java.lang.String program)
Program	InstantiateVisitor.visit(ASTProgram node, java.lang.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	Solver.computeModels(Program p, int maxModels) this method computes at most maxModels answer sets for a given program.
AnswerSetList	DLVComplex.computeModels(Program p, int models)
AnswerSetList	DLV.computeModels(Program p, int models)
AnswerSetList	Clingo.computeModels(Program p, int maxModels)
protected AnswerSetList	DLVComplex.runDLV(Program p, int nModels, java.lang.String otherOptions)
protected AnswerSetList	DLV.runDLV(Program p, int nModels, java.lang.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(Term<?> v, Term<?> t)
Program	Program.reduct(java.util.Collection<DLPLiteral> 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 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