SetTheory.h File Reference
#include "Interval.h"
Include dependency graph for SetTheory.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| template<typename Number > | |
| bool | carl::set_complement (const Interval< Number > &interval, Interval< Number > &resA, Interval< Number > &resB) |
| Calculates the complement in a set-theoretic manner (can result in two distinct intervals). More... | |
| template<typename Number > | |
| bool | carl::set_difference (const Interval< Number > &lhs, const Interval< Number > &rhs, Interval< Number > &resA, Interval< Number > &resB) |
| Calculates the difference of two intervals in a set-theoretic manner: lhs \ rhs (can result in two distinct intervals). More... | |
| template<typename Number > | |
| Interval< Number > | carl::set_intersection (const Interval< Number > &lhs, const Interval< Number > &rhs) |
| Intersects two intervals in a set-theoretic manner. More... | |
| template<typename Number > | |
| bool | carl::set_have_intersection (const Interval< Number > &lhs, const Interval< Number > &rhs) |
| template<typename Number > | |
| bool | carl::set_is_proper_subset (const Interval< Number > &lhs, const Interval< Number > &rhs) |
| Checks whether lhs is a proper subset of rhs. More... | |
| template<typename Number > | |
| bool | carl::set_is_subset (const Interval< Number > &lhs, const Interval< Number > &rhs) |
| Checks whether lhs is a subset of rhs. More... | |
| template<typename Number > | |
| bool | carl::set_symmetric_difference (const Interval< Number > &lhs, const Interval< Number > &rhs, Interval< Number > &resA, Interval< Number > &resB) |
| Calculates the symmetric difference of two intervals in a set-theoretic manner (can result in two distinct intervals). More... | |
| template<typename Number > | |
| bool | carl::set_union (const Interval< Number > &lhs, const Interval< Number > &rhs, Interval< Number > &resA, Interval< Number > &resB) |
| Computes the union of two intervals (can result in two distinct intervals). More... | |
