axiom.h

 
#ifndef SYMBOLIC_AXIOM_H_
#define SYMBOLIC_AXIOM_H_
 
#include "symbolic/action.h"
#include "symbolic/normal_form.h"
 
namespace symbolic {
 
class Axiom : public Action {
 public:
  Axiom(const Pddl& pddl, const VAL::operator_* symbol);
 
  bool IsConsistent(const State& state) const;
 
  bool IsConsistent(const PartialState& state) const;
 
  static bool IsConsistent(const std::vector<std::shared_ptr<Axiom>>& axioms,
                           const PartialState& state);
 
  State Apply(const State& state) const;
  bool Apply(State* state) const;
 
  PartialState Apply(const PartialState& state) const;
  int Apply(PartialState* state) const;
 
  const SignedProposition& context() const { return context_; }
 
  friend std::ostream& operator<<(std::ostream& os, const Axiom& axiom);
 
  static std::optional<
      std::function<const std::vector<Object>*(const std::vector<Object>&)>>
  CreateApplicationFunction(const std::vector<Object>& action_params,
                            const std::vector<Object>& action_prop_params,
                            const std::vector<Object>& axiom_params,
                            const std::vector<Object>& axiom_prop_params);
 
 private:
  bool IsConsistent(PartialState* state, bool* is_changed) const;
 
  std::vector<std::vector<Object>> arguments_;
  SignedProposition context_;
  std::string formula_;
};
 
}  // namespace symbolic
 
#endif  // SYMBOLIC_AXIOM_H_