irep2_guard.h

Go to the documentation of this file.

#ifndef IREP2_GUARD_H_
#define IREP2_GUARD_H_
 
#include <irep2/irep2.h>
#include <irep2/irep2_expr.h>
#include <irep2/guard_seq.h>

class guard2tc : public expr2tc
{
public:
  guard_seq guard_list;
 
  guard2tc() = default;
  guard2tc(const guard2tc &) = default;
  guard2tc(guard2tc &&) noexcept = default;
  guard2tc &operator=(const guard2tc &) = default;
  guard2tc &operator=(guard2tc &&) noexcept = default;
 
  void add(const expr2tc &expr);
  void append(const guard2tc &other);
 
  expr2tc as_expr() const;
  void guard_expr(expr2tc &dest) const;
 
  bool disjunction_may_simplify(const guard2tc &other) const;
  bool is_true() const;
  bool is_false() const;
 
  void make_true();
  void make_false();

  void swap(guard2tc &) = delete;
 
  void dump() const;
 
private:
  bool is_single_symbol() const;
  void clear();

  void add_leaf(const expr2tc &expr);

  void build_guard_expr();
  void set_guard_list_and_rebuild(guard_seq &&new_guard_list);
  void set_guard_list_and_base(guard_seq &&new_guard_list, const expr2tc &base);
 
  friend guard2tc &operator-=(guard2tc &g1, const guard2tc &g2);
  friend guard2tc &operator|=(guard2tc &g1, const guard2tc &g2);
  friend bool operator==(const guard2tc &g1, const guard2tc &g2);
};
 
#endif /* IREP2_GUARD_H_ */