api/html/codac___bool_interval_8h_source.html

#ifndef __CODAC_BOOLINTERVAL_H__

#define __CODAC_BOOLINTERVAL_H__


#include "ibex_BoolInterval.h"


namespace codac

{

  using ibex::BoolInterval;

}


#endif

codac
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9