UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Classes | Typedefs | Functions
uncover::basic_types Namespace Reference

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< IDTypeSubIDPartition
 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< OrderOrder_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< ScenarioScenario_up
 Alias of a unique pointer to a Scenario object.
 
typedef shared_ptr< TimerTimer_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...
 

Detailed Description

Contains a collection of general classes used through out the tool.

Author
Jan Stückrath

Function Documentation

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.

Parameters
part1the first set of IDs
part2the second set of IDs
Returns
true, iff there is an ID which is in both given sets
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.

Parameters
part1the first IDPartition (remains unchanged)
part2the second IDPartition (remains unchanged)
Returns
the transitive closure of the given IDPartitions
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.

See Also
idpart_transitive_closure
Parameters
part1the first IDPartition, which will be changed to the trantivie closure
part2the second IDPartition (remains unchanged)
std::ostream& uncover::basic_types::operator<< ( std::ostream &  ost,
GenericMessageException &  data 
)
Parameters
ostan arbitrary ostream
datathe exception to be streamed
Returns
the given ostream ost