• computeAllPlans() : knowledge_reasoning.cpp
• computePlan() : knowledge_reasoning.cpp
• currentStateQuery() : knowledge_reasoning.cpp
• executePlan() : any_plan_executor.cpp , single_plan_executor.cpp , learning_executor.cpp
• isPlanvalid() : knowledge_reasoning.cpp
• main() : any_plan_executor.cpp , single_plan_executor.cpp , learning_executor.cpp , knowledge_reasoning.cpp , asp_formatter.cpp
• parseAnswerSet() : asp_formatter.cpp
• queryDirectory() : any_plan_executor.cpp , single_plan_executor.cpp , learning_executor.cpp , knowledge_reasoning.cpp
• readAnswerSets() : asp_formatter.cpp
• resetState() : knowledge_reasoning.cpp
• rulesToFileName() : learning_executor.cpp
• updateFluents() : knowledge_reasoning.cpp