SCIL::boolfunction Member List
This is the complete list of members for
SCIL::boolfunction, including all inherited members.
| add(boolOperator _op, var _v, bool negated=false) | SCIL::boolfunction | |
| add(var _v, boolOperator _op, bool negated=false) | SCIL::boolfunction | |
| add(boolfunction *_left, boolOperator _op, bool negated=false) | SCIL::boolfunction | |
| add(boolOperator _op, boolfunction *_right, bool negated=false) | SCIL::boolfunction | |
| bool_inst (defined in SCIL::boolfunction) | SCIL::boolfunction | [friend] |
| boolfunction() (defined in SCIL::boolfunction) | SCIL::boolfunction | [inline] |
| boolfunction(var _v, bool _negated=false) | SCIL::boolfunction | [inline] |
| boolfunction(var _v1, var _v2, boolOperator _op, bool _negated=false) | SCIL::boolfunction | [inline] |
| boolfunction(boolfunction *_left, var _v2, boolOperator _op, bool _negated=false) | SCIL::boolfunction | [inline] |
| boolfunction(var _v1, boolfunction *_right, boolOperator _op, bool _negated=false) | SCIL::boolfunction | [inline] |
| boolfunction(boolfunction *_left, boolfunction *_right, boolOperator _op, bool _negated=false) | SCIL::boolfunction | [inline] |
| copy() | SCIL::boolfunction | |
| evaluate(solution &S) | SCIL::boolfunction | |
| get_left() const | SCIL::boolfunction | [inline] |
| get_op() const | SCIL::boolfunction | [inline] |
| get_originalTerm() | SCIL::boolfunction | [inline] |
| get_right() const | SCIL::boolfunction | [inline] |
| get_rLinear() const | SCIL::boolfunction | [inline] |
| get_v() const | SCIL::boolfunction | [inline] |
| get_vars() | SCIL::boolfunction | |
| is_negated() const | SCIL::boolfunction | [inline] |
| isHomogeneous(boolOperator _op=BASIC) | SCIL::boolfunction | |
| linearize(ILP_Problem &IP) | SCIL::boolfunction | |
| negate() | SCIL::boolfunction | [inline] |
| simplify() | SCIL::boolfunction | |
| toString() | SCIL::boolfunction | |
| ~boolfunction() (defined in SCIL::boolfunction) | SCIL::boolfunction | [inline] |
