|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--edu.cmu.cs.coral.icf.plan_based.planners.PlannerDomainReader
A generic reader for planner domains.
Constructor Summary | |
PlannerDomainReader()
|
Method Summary | |
void |
parseDomain(Domain domain,
java.io.InputStream domain_src)
Read domain information from the specified source and put it in the domain given. |
Domain |
readDomain(java.io.InputStream domain_src)
Reads a Domain from the specified input source. |
Methods inherited from class java.lang.Object |
|
Constructor Detail |
public PlannerDomainReader()
Method Detail |
public Domain readDomain(java.io.InputStream domain_src)
domain_src
- a stream containing the domainpublic void parseDomain(Domain domain, java.io.InputStream domain_src)
domain
- the domain to put the information indomain_src
- the source of the domain information
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |