| Package | Description |
|---|---|
| net.sf.tweety.action.query | |
| net.sf.tweety.action.query.parser | |
| net.sf.tweety.action.query.syntax |
| Modifier and Type | Method and Description |
|---|---|
SActionQuery |
SActionQuerySet.getConjunctionOfAllQueries()
Returns a conjunction of all contained queries.
|
| Constructor and Description |
|---|
SActionQuerySet(Collection<SActionQuery> c)
Creates a new belief set with the given collection of queries.
|
| Modifier and Type | Method and Description |
|---|---|
SActionQuery |
ActionQueryParser.parseFormula(Reader reader) |
| Modifier and Type | Method and Description |
|---|---|
protected SActionQuery |
SActionQuery.substituteInnerFormulas(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.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 |
|---|---|
Set<SActionQuery> |
SActionQuery.getAllGrounded()
Returns the set of all grounded instances of this causal rule.
|
Copyright © 2018. All rights reserved.