Public Attributes | |
vector< OptVar * > | vars |
int | opt_type |
Definition at line 36 of file Implicative.hh.
vector<OptVar*> Implicative::Opts::vars |
Definition at line 37 of file Implicative.hh.
Referenced by Implicative::getAggregate(), Implicative::getOptVar(), and Implicative::optimize().
Definition at line 38 of file Implicative.hh.
Referenced by Implicative::getOptType(), and Implicative::optimize().