Uses of Class
org.tweetyproject.lp.asp.syntax.Program

Packages that use Program

Package	Description
org.tweetyproject.arg.lp.syntax
org.tweetyproject.logics.translators.aspnlp
org.tweetyproject.lp.asp.analysis
org.tweetyproject.lp.asp.beliefdynamics.baserevision
org.tweetyproject.lp.asp.beliefdynamics.revision
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.reasoner
org.tweetyproject.lp.asp.semantics
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.asp.writer

Uses of Program in org.tweetyproject.arg.lp.syntax

Constructors in org.tweetyproject.arg.lp.syntax with parameters of type Program

Constructor	Description
ArgumentationKnowledgeBase(Program program)

Uses of Program in org.tweetyproject.logics.translators.aspnlp

Methods in org.tweetyproject.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 org.tweetyproject.logics.translators.aspnlp with parameters of type Program

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

Uses of Program in org.tweetyproject.lp.asp.analysis

Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.baserevision

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.revision

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.reasoner

Methods in org.tweetyproject.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)
AnswerSet	DLVSolver.getModel(Program p, int maxInt)	Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
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)
java.util.Collection<AnswerSet>	DLVSolver.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<java.lang.Integer>	ClingoSolver.getOptimum(Program p)	Computes the optimum of a program that contains optimization statements, if there is one.
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 org.tweetyproject.lp.asp.semantics

Methods in org.tweetyproject.lp.asp.semantics with parameters of type Program

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

Uses of Program in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return Program

Modifier and Type	Method	Description
Program	Program.clone()
Program	Program.exchange(Term<?> v, Term<?> t)
static Program	Program.getDefaultification(Program p)	Creates the defaultification p_d of a given program p.
Program	Program.getReduct(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 org.tweetyproject.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.getDefaultification(Program p)	Creates the defaultification p_d of a given program p.

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type Program

Constructor	Description
Program(Program other)	Copy-Constructor

Uses of Program in org.tweetyproject.lp.asp.writer

Methods in org.tweetyproject.lp.asp.writer with parameters of type Program

Modifier and Type	Method	Description
void	ClingoWriter.printProgram(Program p)	Prints the given program in clingo format.