|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectix.iplan.DomainAnalyser
public class DomainAnalyser
Analyses a Domain.
This class is based on parts of O-Plan.
Field Summary | |
---|---|
protected Domain |
domain
|
protected boolean |
domainHasChanged
|
protected ix.iplan.DomainAnalyser.MinFullExpandFinder |
minFullExpandFinder
|
protected java.util.Map |
minFullExpandSizeCache
|
protected java.util.Map |
possibleConditionsCache
|
protected DirectedGraph |
possibleConditionsTable
|
protected java.util.Map |
possibleConstraintsCache
|
protected DirectedGraph |
possibleConstraintsTable
|
protected java.util.Map |
possibleEffectsCache
|
protected DirectedGraph |
possibleEffectsTable
|
protected DirectedGraph |
refinementToDirectSuccessors
|
protected DirectedGraph |
refinementToReachableRefinements
|
Constructor Summary | |
---|---|
DomainAnalyser(Domain domain)
Make an analyser for a domain. |
Method Summary | |
---|---|
void |
analyse()
Construct tables of derived information. |
void |
analyseIfNeeded()
|
protected DirectedGraph |
buildRefinementSuccessorTable()
|
protected java.util.Set |
computePossibleConditions(LList pattern)
|
protected java.util.Set |
computePossibleConditions(PatternAssignment pv)
|
protected java.util.Set |
computePossibleConstraints(LList pattern)
|
protected java.util.Set |
computePossibleEffects(LList pattern)
|
protected java.util.Set |
computePossibleEffects(PatternAssignment pv)
|
protected java.util.Set |
directSuccessors(Refinement r)
|
long |
getMinFullExpandSize(LList pattern)
|
long |
getMinFullExpandSize(PatternAssignment pv)
|
java.util.Set |
getPossibleConditions(LList pattern)
|
java.util.Set |
getPossibleConditions(PatternAssignment pv)
|
java.util.Set |
getPossibleConstraints(LList pattern)
|
java.util.Set |
getPossibleEffects(LList pattern)
|
java.util.Set |
getPossibleEffects(PatternAssignment pv)
|
DirectedGraph |
getUnexpandableNodes()
|
boolean |
haveCommonPatterns(java.util.Collection pvs1,
java.util.Collection pvs2)
|
static void |
main(java.lang.String[] argv)
Test program. |
static boolean |
match(java.lang.Object pat,
java.lang.Object dat)
Simple pattern-matcher that treats all variables as wildcards. |
boolean |
mightSatisfy(PatternAssignment cond,
java.util.Collection effects)
|
boolean |
mightSatisfy(PatternAssignment cond,
PatternAssignment effect)
|
protected java.util.Set |
refinementsExpandingPattern(LList pattern)
|
protected java.util.Set |
refinementsForCondition(PatternAssignment pv)
|
protected void |
reset()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected Domain domain
protected boolean domainHasChanged
protected DirectedGraph refinementToDirectSuccessors
protected DirectedGraph refinementToReachableRefinements
protected DirectedGraph possibleConditionsTable
protected DirectedGraph possibleEffectsTable
protected DirectedGraph possibleConstraintsTable
protected ix.iplan.DomainAnalyser.MinFullExpandFinder minFullExpandFinder
protected java.util.Map possibleConditionsCache
protected java.util.Map possibleEffectsCache
protected java.util.Map possibleConstraintsCache
protected java.util.Map minFullExpandSizeCache
Constructor Detail |
---|
public DomainAnalyser(Domain domain)
Method Detail |
---|
public void analyseIfNeeded()
protected void reset()
public void analyse()
public java.util.Set getPossibleConditions(LList pattern)
protected java.util.Set computePossibleConditions(LList pattern)
public java.util.Set getPossibleConditions(PatternAssignment pv)
protected java.util.Set computePossibleConditions(PatternAssignment pv)
public java.util.Set getPossibleEffects(LList pattern)
protected java.util.Set computePossibleEffects(LList pattern)
public java.util.Set getPossibleEffects(PatternAssignment pv)
protected java.util.Set computePossibleEffects(PatternAssignment pv)
public java.util.Set getPossibleConstraints(LList pattern)
protected java.util.Set computePossibleConstraints(LList pattern)
public long getMinFullExpandSize(LList pattern)
public long getMinFullExpandSize(PatternAssignment pv)
public DirectedGraph getUnexpandableNodes()
protected DirectedGraph buildRefinementSuccessorTable()
protected java.util.Set directSuccessors(Refinement r)
protected java.util.Set refinementsExpandingPattern(LList pattern)
protected java.util.Set refinementsForCondition(PatternAssignment pv)
public boolean haveCommonPatterns(java.util.Collection pvs1, java.util.Collection pvs2)
public boolean mightSatisfy(PatternAssignment cond, PatternAssignment effect)
public boolean mightSatisfy(PatternAssignment cond, java.util.Collection effects)
public static boolean match(java.lang.Object pat, java.lang.Object dat)
public static void main(java.lang.String[] argv)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |