Package | Description |
---|---|
net.sf.tweety.action.query.analysis | |
net.sf.tweety.action.query.parser | |
net.sf.tweety.action.query.syntax |
Modifier and Type | Method and Description |
---|---|
private java.util.Set<QueryProposition> |
SActionQuerySatisfactionTester.getQueryPropositions(SActionQuery query)
Calculates the set of all query propositions which appear in the given
query.
|
Modifier and Type | Method and Description |
---|---|
private java.lang.String |
SActionQuerySatisfactionTester.getConstraints(java.util.Collection<? extends SActionQuery> queries)
Returns the program C_q which contains a constraint for each query in
question.
|
private java.lang.String |
SActionQuerySatisfactionTester.getRules(java.util.Collection<SActionQuery> queries)
Returns the basic translation of action query laws to rules in the logic
program.
|
Modifier and Type | Method and Description |
---|---|
private SActionQuery |
ActionQueryParser.parseActionFormula(java.util.Stack<java.lang.Object> stack)
Parses a simple formula as a list of string tokens or formulas into an action query.
|
SActionQuery |
ActionQueryParser.parseFormula(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
SActionQuery |
SActionQuerySet.getConjunctionOfAllQueries()
Returns a conjunction of all contained queries.
|
protected SActionQuery |
SActionQuery.substituteInnerFormulas(java.util.Map<Variable,Constant> map)
Returns a new action query in which all variables are mapped to constants
with regard to the given map.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<SActionQuery> |
SActionQuery.getAllGrounded()
Returns the set of all grounded instances of this causal rule.
|
Constructor and Description |
---|
SActionQuerySet(java.util.Collection<SActionQuery> c)
Creates a new belief set with the given collection of queries.
|