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

Contains all Scenarios predefined for this tool. More...

Classes

class  BackwardAnalysisScenario
 This Scenario performs a backward analysis according to the provided parameters. More...
 
class  BackwardStepTest
 This test scenario takes a given set of rules and a given set of error graphs and performs a single backward step, including rule preparation. More...
 
class  GTXLtoLatexConverter
 Use this Scenario to create a graphical representation of the given GTXL file. More...
 
class  GXLtoPicConverter
 This Scenario takes a GXL file and converts the encoded Hypergraphs first to a 'dot' file and then to the set file format using neato. More...
 
class  LeaderElectionRuleCreater
 When called this Scenario generates the GTS for the leader election example. More...
 
class  LEQCheckScenario
 This Scenario allows to check whether graphs of a given set are represented by another given, upward-closed set. More...
 
class  MatcherScenario
 This scenario takes two sets of graphs and computes all matching from one set to the other. More...
 
class  RulePreparerTest
 This scenario tests the rule preparation functionality. More...
 
class  ScenarioLoader
 This class generates Scenario object from their string identifier (without initializing them). More...
 
class  XMLTestScenario
 This Scenario tests the GTXLReader and GTXLWriter classes on correctness. More...
 

Functions

 backwardAnalysis (nullptr)
 
 resultHandler (nullptr)
 
 resultFolder ("")
 
 rulesFilename ("")
 
 gts (nullptr)
 
 errorGraphs (nullptr)
 
 optimize (true)
 
 injective (false)
 
 order (BackwardStepTest::Order::SUBGRAPH)
 
 type (LatexExporter::TargetType::PDF)
 
 compile (true)
 
 ruleIDSubs (nullptr)
 
 graphIDSubs (nullptr)
 
 filename ()
 
 exportFormat (GraphDrawer::PictureFormat::PicPDF)
 
 compact (false)
 
 processCount (0)
 
 name ()
 
 faststop (false)
 
 order (nullptr)
 
 minimalGraphs (nullptr)
 
 checkGraphs (nullptr)
 
 filename ("")
 
 rulePreparer (nullptr)
 
this addSynonymFor (GXL_STUB,"gxls")
 
this addParameter (GXL_COUNT,"Number of GXL files to test (default is 0). If this is not 0, ""'gxl-file-stub' has to be given.", false)
 
this addSynonymFor (GXL_COUNT,"gxl")
 
this addParameter (GTXL_STUB,"Base name of the GTXL input files without number and extension.", false)
 
this addSynonymFor (GTXL_STUB,"gtxls")
 
this addParameter (GTXL_COUNT,"Number of GTXL files to test (default is 0). If this is not 0, ""'gtxl-file-stub' has to be given.", false)
 
this addSynonymFor (GTXL_COUNT,"gtxl")
 

Detailed Description

Contains all Scenarios predefined for this tool.

Author
Jan Stückrath