Struct QualsConjunctiveForm¶

struct QualsConjunctiveForm¶

Public Members

const std::list<std::shared_ptr<Analyzer::Expr>> simple_quals¶

const std::list<std::shared_ptr<Analyzer::Expr>> quals¶