Gröbner basis project
Codebase for research into Gröbner basis computation
|
convenience functions for computing intersections, unions, and related properties More...
int | number_of_common_constraints (set< constraint > &, set< constraint > &) |
set< constraint > | intersections_of_active_constraints (set< constraint > &, set< constraint > &) |
bool | is_first_subset_of_second (set< constraint > &, set< constraint > &) |
set< edge > | union_of_edge_sets (const set< edge > &, const set< edge > &) |
convenience functions for computing intersections, unions, and related properties
set<constraint> intersections_of_active_constraints | ( | set< constraint > & | , |
set< constraint > & | |||
) |
Returns the intersection between the given sets of constraints.
Definition at line 633 of file skeleton.cpp.
bool is_first_subset_of_second | ( | set< constraint > & | , |
set< constraint > & | |||
) |
Returns true
if and only if the first set is a subset of the second.
Definition at line 645 of file skeleton.cpp.
int number_of_common_constraints | ( | set< constraint > & | , |
set< constraint > & | |||
) |
Returns the number of constraints common to both sets.
Definition at line 619 of file skeleton.cpp.
Returns the unions of two sets of edges.
Definition at line 660 of file skeleton.cpp.