symex_symmetry.h

Go to the documentation of this file.

#ifndef CPROVER_GOTO_SYMEX_SYMEX_SYMMETRY_H
#define CPROVER_GOTO_SYMEX_SYMEX_SYMMETRY_H
 
#include <goto-symex/equation/symex_target_equation.h>
#include <goto-symex/equation/ssa_step_algorithm.h>

class symmetry_breakingt : public ssa_step_algorithm
{
public:
  symmetry_breakingt() : ssa_step_algorithm(true)
  {
  }
 
  bool run(symex_target_equationt::SSA_stepst &steps) override;
 
  BigInt ignored() const override
  {
    return 0;
  }
};
 
#endif