docs/api/cnf__iface_8h_source.html

#ifndef _ESBMC_SOLVERS_SAT_CNF_IFACE_H_

#define _ESBMC_SOLVERS_SAT_CNF_IFACE_H_


class cnf_iface

{

public:

  virtual void setto(literalt a, bool val) = 0;

  virtual void lcnf(const bvt &bv) = 0;

};


#endif /* _ESBMC_SOLVERS_SAT_CNF_IFACE_H_ */

cnf_iface
Definition cnf_iface.h:5

cnf_iface::setto
virtual void setto(literalt a, bool val)=0

cnf_iface::lcnf
virtual void lcnf(const bvt &bv)=0

literalt
Definition literal.h:8

bvt
std::vector< literalt > bvt
Definition minisat_conv.h:20