Gröbner basis project
Codebase for research into Gröbner basis computation
arithmetic on sets

convenience functions for computing intersections, unions, and related properties More...

int number_of_common_constraints (set< constraint > &, set< constraint > &)
 
set< constraintintersections_of_active_constraints (set< constraint > &, set< constraint > &)
 
bool is_first_subset_of_second (set< constraint > &, set< constraint > &)
 
set< edgeunion_of_edge_sets (const set< edge > &, const set< edge > &)
 

Detailed Description

convenience functions for computing intersections, unions, and related properties

Function Documentation

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.

set<edge> union_of_edge_sets ( const set< edge > &  ,
const set< edge > &   
)

Returns the unions of two sets of edges.

Definition at line 660 of file skeleton.cpp.