public MentalAttitude(ClientProblem problem)
{
//CUDD.Print.PrintMinterm(problem.InitKnowledge);
//CUDD.Print.PrintMinterm(problem.InitBelief);
Knowledge = problem.InitKnowledge;
Belief = problem.InitBelief;
_predicateDict = problem.PredicateDict;
}
public static ClientProblem CreateInstance(PlanningParser.DomainContext domainContext, PlanningParser.ClientProblemContext context)
{
ClientProblem result = new ClientProblem(domainContext, context);
return(result);
}