UnCoVer (Using Coverability for Verification)
Main Page
Related Pages
Namespaces
Classes
Files
File List
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Pages
File List
Here is a list of all documented files with brief descriptions:
[detail level
1
2
3
]
src
analysis
analysis-info.h
BackwardAnalysis.h
BackwardResultHandler.h
InstantWriterResultHandler.h
MinPOCEnumerator.h
NoRulePreparer.h
PreparedGTS.h
rule_preparation_helper.h
RulePreparer.h
basic_types
basic_types-info.h
CollectionCallback.h
GenericMessageException.h
globals.h
hash_functions.h
IDPartition.h
IDPartitionEnumerator.h
InitialisationException.h
InvalidInputException.h
InvalidStateException.h
Order.h
OutOfIDsException.h
RunException.h
Scenario.h
standard_operators.h
Streamable.h
Timer.h
VectorCallback.h
graphs
AnonHypergraph.h
AnonRule.h
Edge.h
graphs-info.h
GTS.h
Hypergraph.h
IsomorphismChecker.h
Mapping.h
MinGraphList.h
PathChecker.h
Rule.h
SignatureCreater.h
UQRule.h
UQRuleInstance.h
Vertex.h
io
GraphDrawer.h
GTXLReader.h
GTXLReaderXerces.h
GTXLWriter.h
GTXLWriterXerces.h
io-info.h
io_helpers.h
LatexExporter.h
xercesc_helpers.h
XercesLoggingErrorHandler.h
XMLioException.h
logging
DelayedLogMessage.h
logging-info.h
message_logging.h
MessageLogger.h
MultiStream.h
MultiStreamBuffer.h
minors
minor-info.h
MinorOrder.h
MinorPOCEnumerator.h
MinorRulePreparer.h
OldMinorOrder.h
rule_engine
ExpEnumerator.h
IDClosureEnumerator.h
IDtoIDEnumerator.h
PartialPOCEnumerator.h
rule_engine-info.h
StdMatchFinder.h
TotalPOCEnumerator.h
scenarios
BackwardAnalysisScenario.h
BackwardStepTest.h
GTXLtoLatexConverter.h
GXLtoPicConverter.h
LeaderElectionRuleCreater.h
LEQCheckScenario.h
MatcherScenario.h
RulePreparerTest.h
scenario_ids.h
ScenarioLoader.h
scenarios-info.h
XMLTestScenario.h
subgraphs
SubgraphOrder.h
SubgraphPOCEnumerator.h
SubgraphRulePreparer.h
subgraphs-info.h
test
graph_generator.h
test-info.h
uncover-info.h
Generated on Tue Dec 8 2015 17:14:10 for UnCoVer (Using Coverability for Verification) by
1.8.6