ClearBlue
|
Public Member Functions | |
bool | add_positive (SEGNodeBase *) |
bool | add_negative (SEGNodeBase *) |
bool | and_clause (Clause *c) |
Static Public Member Functions | |
static bool | and_clause (Clause *c1, Clause *c2, Clause *result) |
Friends | |
class | SEGRegionNode |