规划部分
搜索策略 Strategy
实际上进行搜索的算法
过程
规划器 Planner
对搜索策略的一个集成,调用搜索策略进行搜索
数据结构部分
Statistics
BitOperator
对于所有Operator的编码的结果
BitVector
对所有Operator的
BitExp
整体代码结构:
encoding
重点是CodeProblem
CodeProblem
这个类实现了一个问题的操作符实例化和BitSet表示编码
Modifier and Type | Method | Description |
---|---|---|
java.util.List<java.lang.String> |
getConstants() |
Returns problem中的常量. |
java.util.List<java.util.Set<java.lang.Integer>> |
getDomains() |
Returns 问题中每个type对应的domain列表. |
java.util.List<java.util.List<java.lang.Integer>> |
getFunctionsSignatures() |
Returns 问题中定义的functions的签名. |
[BitExp] |
getGoal() |
Returns 问题的goal或者是null(当problem无解). |
java.util.List<[Inertia]> |
getInertia() |
Returns problem中定义的predicates的 inertia status. |
[BitExp] |
getInit() |
Returns problem的初始状态. |
java.util.List<[BitOp])> |
getOperators() |
Returns problem中的实例化的operator list. |
java.util.List<java.lang.String> |
getPredicates() |
Returns 返回problem中的predicates. |
java.util.List<java.util.List<java.lang.Integer>> |
getPredicatesSignatures() |
Returns problem中定义的predicates的 signatures。 |
java.util.List<[IntExp]> |
getRelevantFacts() |
Returns problem中使用的相关的facts 列表. |
java.util.List<java.lang.String> |
getTypes() |
Returns problem的the types table of the problem. |
boolean |
isSolvable() |
Returns true 如果prolem可解. |
java.lang.String |
toShortString(fr.uga.pddl4j.util.BitOp) |
Returns 一个简短的string表示一个特定的operator,只包含其名字和参数值. |
java.lang.String |
toString(fr.uga.pddl4j.util.BitExp) |
Returns a string representation of a bit expression. |
java.lang.String |
toString(fr.uga.pddl4j.util.BitOp) |
Returns a string representation of the specified operator. |
java.lang.String |
toString(fr.uga.pddl4j.util.BitState) |
Returns a string representation of a bit state. |
java.lang.String |
toString(fr.uga.pddl4j.util.CondBitExp) |
Returns a string representation of a conditional bit expression. |
java.lang.String |
toString(fr.uga.pddl4j.util.IntExp) |
Returns a string representation of an expression. |
java.lang.String |
toString(fr.uga.pddl4j.util.IntExp,java.lang.String) |
Returns a string representation of an expression. |
java.lang.String |
toString(fr.uga.pddl4j.util.Plan) |
Return a string representation of a search. |
java.lang.String |
toStringCost(fr.uga.pddl4j.util.Plan) |
Return a detailed string representation of a search. |