Esempi in C++ (Cpp) per extract_forall_vars

Esempio n. 1

File: constraint.cpp Progetto: 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) {}

Esempio n. 2

File: constraint.cpp Progetto: 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) {
}