simplify.hh

#pragma once
 
#include <clingo/input/rewrite/rewrite_context.hh>
 
#include <clingo/util/enum.hh>
#include <clingo/util/optional.hh>
 
namespace CppClingo::Input {
 
 
enum class SimplifyTermFlags : uint8_t {
    none = 0,       
    matchable = 1,  
    unfailable = 2, 
    nested_matchable = 4,  
    preserve_toplevel = 8, 
};
CLINGO_ENABLE_BITSET_ENUM(SimplifyTermFlags);
 
enum class SimplifyLiteralFlags : uint8_t {
    none = 0,       
    matchable = 1,  
    unfailable = 2, 
    head = 4,       
};
CLINGO_ENABLE_BITSET_ENUM(SimplifyLiteralFlags);
 
template <class E> using SimplifyResult = Util::ResultState<E, TruthValue>;
 
using SimplifyTermResult = Util::ResultState<Term, bool>;
 
[[nodiscard]] auto simplify(SimplifyTermFlags flags, RewriteContext &ctx, Term const &term) -> SimplifyTermResult;
 
[[nodiscard]] auto simplify(SimplifyLiteralFlags flags, RewriteContext &ctx, Lit const &lit) -> SimplifyResult<Lit>;
 
[[nodiscard]] auto simplify(RewriteContext &ctx, HdLit const &lit) -> SimplifyResult<HdLit>;
 
[[nodiscard]] auto simplify(RewriteContext &ctx, BdLit const &lit) -> SimplifyResult<BdLit>;
 
[[nodiscard]] auto simplify(RewriteContext &ctx, Stm const &stm) -> SimplifyResult<Stm>;
 
 
} // namespace CppClingo::Input