C++ (Cpp) extract_forall_varsの例

コード例 #1

ファイル: constraint.cpp プロジェクト: clhuang/dreal3

forall_constraint::forall_constraint(Enode * const e, lbool const p)
    : constraint(constraint_type::Forall),
      m_enode(e),
      m_forall_vars(extract_forall_vars(e->getCdr()->getCdr())),
      m_body(e->getCdr()->getCar()),
      m_polarity(p) {}

コード例 #2

ファイル: constraint.cpp プロジェクト: 4lex4nder/dreal3

generic_forall_constraint::generic_forall_constraint(Enode * const e, lbool const p)
    : constraint(constraint_type::GenericForall, e),
      m_forall_vars(extract_forall_vars(e->getCdr()->getCdr())),
      m_body(e->getCdr()->getCar()),
      m_polarity(p) {
}