void function ( Object arg0 ) { this . value = arg0 ; }
set the value concode_field_sep Object value concode_field_sep JDDNode getBDDFromCloseValueRel concode_elem_sep JDDNode getBDDFromInterval concode_elem_sep JDDNode getBDDFromInterval concode_elem_sep JDDNode getBDDFromInterval concode_elem_sep double maxOverBDD concode_elem_sep int getNNZ concode_elem_sep double dotProduct concode_elem_sep void printFiltered concode_elem_sep void printFiltered concode_elem_sep void maxMTBDD concode_elem_sep double firstFromBDD concode_elem_sep void timesConstant concode_elem_sep double sumOverMTBDD concode_elem_sep void add concode_elem_sep void subtractFromOne concode_elem_sep StateValues sumOverDDVars concode_elem_sep void clear concode_elem_sep JDDNode getBDDFromCloseValueAbs concode_elem_sep String getNNZString concode_elem_sep StateValues deepCopy concode_elem_sep StateValuesDV convertToStateValuesDV concode_elem_sep void filter concode_elem_sep void filter concode_elem_sep Object getValue concode_elem_sep Object getValue concode_elem_sep int getSize concode_elem_sep void print concode_elem_sep void print concode_elem_sep void print concode_elem_sep double sumOverBDD concode_elem_sep void readFromFile concode_elem_sep double minOverBDD concode_elem_sep StateValuesMTBDD convertToStateValuesMTBDD concode_elem_sep void roundOff concode_elem_sep JDDNode getBDDFromCloseValue