UnCoVer (Using Coverability for Verification)
|
Contains a collection of general classes used through out the tool. More...
Classes | |
class | CollectionCallback |
This template provides a possibility to add elements to a collection without having a reference to the collection of knowing its type. More... | |
class | GenericMessageException |
This class serves as a superclass of all Exceptions. More... | |
struct | IDPartitionPointerHasher |
A hasher for pointers to IDPartions. More... | |
struct | IDPartitionPointerEquality |
An equality checker for pointers to IDPartitions. More... | |
class | IDPartitionEnumerator |
Provides a possibility to enumerate all partitions on a given set of IDs. More... | |
class | InitialisationException |
This exception is thrown if an object could not be initialized successfully. More... | |
class | InvalidInputException |
This exception is thrown whenever a function is called with invalid inputs. More... | |
class | InvalidStateException |
This exception is thrown if a function of an object was called, but the object was not in a valid state to call this function. More... | |
class | Order |
This class presents a generic ordering relation on Hypergraphs. More... | |
class | OutOfIDsException |
This exception is thrown if an object was about to be created, but the programm has run out of unique IDs. More... | |
class | RunException |
This exception is thrown if an algorithm or Scenario was executed, but encountered and error. More... | |
class | Scenario |
A scenario is a subprogram using a set of input parameters to execute some algorithms, producing desired output. More... | |
class | Streamable |
Streamable provides a streaming function which must be implemented by any deriving class. More... | |
class | Timer |
Provides a timer, which can be started and used to measure elapsed time. More... | |
class | VectorCallback |
This template class implements a CollectionCallback to a vector. More... | |
Typedefs | |
typedef unordered_set< IDType > | SubIDPartition |
A SubIDPartition is a set of IDs used by IDPartition. | |
typedef unordered_set < SubIDPartition > | IDPartition |
An IDPartition is a set of sets of IDs (which is effectively a set of equivalence classes). | |
typedef shared_ptr< Order > | Order_sp |
Alias for a shared pointer to an Order object. | |
typedef shared_ptr< Order const > | Order_csp |
Alias for a shared pointer to a constant Order object. | |
typedef unique_ptr< Scenario > | Scenario_up |
Alias of a unique pointer to a Scenario object. | |
typedef shared_ptr< Timer > | Timer_sp |
Alias for a shared pointer to a Timer. | |
Functions | |
std::ostream & | operator<< (std::ostream &ost, GenericMessageException &data) |
bool | idpart_intersect (SubIDPartition const &part1, SubIDPartition const &part2) |
Checks if two sets of IDs intersect, i.e. More... | |
IDPartition | idpart_transitive_closure (IDPartition const &part1, IDPartition const &part2) |
Builds the transitive closure of two given IDPartitions. More... | |
void | idpart_transitive_closure_into1 (IDPartition &part1, IDPartition const &part2) |
Builds the transitive closure of two given IDPartitions. More... | |
Contains a collection of general classes used through out the tool.
bool idpart_intersect | ( | SubIDPartition const & | part1, |
SubIDPartition const & | part2 | ||
) |
Checks if two sets of IDs intersect, i.e.
if there is an ID which is in both given sets.
part1 | the first set of IDs |
part2 | the second set of IDs |
IDPartition idpart_transitive_closure | ( | IDPartition const & | part1, |
IDPartition const & | part2 | ||
) |
Builds the transitive closure of two given IDPartitions.
The result is the finest partition on the set of IDs of the two given IDPartitions, where two IDs are in the same partition, if they are in the same partition of at least one of the given IDPartitions. The given partitions need not be partitions on the same base set, but IDs in both partitions are identified by equality.
part1 | the first IDPartition (remains unchanged) |
part2 | the second IDPartition (remains unchanged) |
void idpart_transitive_closure_into1 | ( | IDPartition & | part1, |
IDPartition const & | part2 | ||
) |
Builds the transitive closure of two given IDPartitions.
The first given IDPartition is changed to be the transitive closure.
part1 | the first IDPartition, which will be changed to the trantivie closure |
part2 | the second IDPartition (remains unchanged) |
std::ostream& uncover::basic_types::operator<< | ( | std::ostream & | ost, |
GenericMessageException & | data | ||
) |
ost | an arbitrary ostream |
data | the exception to be streamed |