Ejemplos de Condition::flag en C++ (Cpp)

Ejemplo n.º 1

Archivo: Condition.cpp Proyecto: shabesoglu/smtrat

 Condition::Condition( const Condition& _cond, size_t _id ):
     mFlag( _cond.flag() ),
     mRecentlyAdded( false ),
     mValuation( _cond.valuation() ),
     mId( _id ),
     mConstraint( _cond.constraint() ),
     mpOriginalConditions( new carl::PointerSet<Condition>( _cond.originalConditions() ) )
 {}