UnCoVer (Using Coverability for Verification)
Main Page
Related Pages
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Functions
Variables
Typedefs
Enumerations
Enumerator
Related Functions
a
b
c
d
e
f
g
i
l
m
n
o
p
q
r
s
t
u
v
w
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Pages
- a -
alternateNames :
Scenario
- b -
backwardAnalysis :
BackwardAnalysisScenario
base :
ExpEnumerator
bound :
PreparedGTS::uqinst_iterator
- c -
checkGraphs :
LEQCheckScenario
checkInitial :
BackwardAnalysis
compact :
GXLtoPicConverter
compile :
LatexExporter
,
GTXLtoLatexConverter
connectedEdges :
AnonHypergraph
current :
IDPartitionEnumerator
currentGraph :
PartialPOCEnumerator
currentInstances :
PreparedGTS::uqinst_iterator
currentMapp :
PartialPOCEnumerator
currentQuant :
PreparedGTS::uqinst_iterator
currentRuleID :
PreparedGTS::StdRuleMapCB
currentStepGraphs :
InstantWriterResultHandler
currGraph :
TotalPOCEnumerator
currLevel :
MessageLogger
currMapp :
TotalPOCEnumerator
- d -
data :
ExpEnumerator
dataSize :
ExpEnumerator
devnull :
MessageLogger
- e -
edgeEnums :
TotalPOCEnumerator
edgeMergings :
PartialPOCEnumerator
edges :
AnonHypergraph
enumerator :
IDClosureEnumerator
errorGraphs :
BackwardAnalysis
,
BackwardStepTest
exceptionMessage :
GenericMessageException
exportFormat :
GXLtoPicConverter
extent :
InstantWriterResultHandler
- f -
faststop :
LEQCheckScenario
filename :
GXLtoPicConverter
,
RulePreparerTest
finished :
IDClosureEnumerator
firstNames :
ScenarioLoader
foldername :
InstantWriterResultHandler
- g -
genPartitionsSet :
IDPartitionEnumerator
genPartitionsVec :
IDPartitionEnumerator
graph :
TotalPOCEnumerator
graphDeletionFile :
InstantWriterResultHandler
graphGenerationFile :
InstantWriterResultHandler
graphID :
MinorPOCEnumerator
,
SubgraphPOCEnumerator
graphIDSubs :
GTXLtoLatexConverter
graphs :
MinGraphList
gts :
BackwardAnalysis
,
PreparedGTS::StdRuleMapCB
,
BackwardStepTest
,
GTXLtoLatexConverter
,
RulePreparerTest
gtxlFilenames :
XMLTestScenario
gtxlWriter :
InstantWriterResultHandler
gxlFilenames :
XMLTestScenario
- i -
ID :
Edge
id :
Hypergraph
ID :
Rule
id :
Vertex
idsInList :
MinGraphList
initialGraphs :
GTS
injective :
PartialPOCEnumerator
,
TotalPOCEnumerator
,
BackwardStepTest
,
MatcherScenario
,
SubgraphPOCEnumerator
injectiveRule :
TotalPOCEnumerator
interface :
AnonRule
iter :
IDtoIDEnumerator
- l -
label :
Edge
lastNew :
IDPartitionEnumerator
lastUsedID :
AnonHypergraph
left :
AnonRule
leftUQVertices :
UQRule
,
UQRuleInstance
logType :
DelayedLogMessage
- m -
mainRule :
UQRule
mainstream :
MessageLogger
mappPOCtoGraph :
TotalPOCEnumerator
match :
Mapping
matcher :
TotalPOCEnumerator
matchFinder :
SubgraphOrder
matchInjective :
StdMatchFinder
matchList :
TotalPOCEnumerator
mergableEdges :
PartialPOCEnumerator
message :
DelayedLogMessage
messageStreaming :
MessageLogger
minimalGraphs :
LEQCheckScenario
- n -
name :
AnonHypergraph
,
AnonRule
,
GTS
,
LeaderElectionRuleCreater
nodesAlreadyMerged :
PartialPOCEnumerator
- o -
oldStdRules :
PreparedGTS
optimize :
RulePreparer
,
BackwardStepTest
order :
BackwardAnalysis
,
MinGraphList
,
BackwardStepTest
,
LEQCheckScenario
originalRules :
PartialPOCEnumerator
otherPart :
IDClosureEnumerator
- p -
parameterDescriptor :
Scenario
parameterNames :
Scenario
partialEnumerator :
MinorPOCEnumerator
,
SubgraphPOCEnumerator
partialRule :
PartialPOCEnumerator
pathbound :
SubgraphPOCEnumerator
pocEnumerator :
BackwardAnalysis
prepFrom :
PreparedGTS
prepGTS :
MinPOCEnumerator
processCount :
LeaderElectionRuleCreater
- q -
quantifications :
UQRule
- r -
resHandler :
MinGraphList
resPtr :
SafeXRes< T >
resultFilename :
MatcherScenario
resultFolder :
BackwardAnalysisScenario
resultHandler :
BackwardAnalysis
,
MinPOCEnumerator
,
BackwardAnalysisScenario
right :
AnonRule
rightUQVertices :
UQRule
,
UQRuleInstance
rule :
PreparedGTS::uqinst_iterator
,
TotalPOCEnumerator
ruleID :
MinorPOCEnumerator
,
SubgraphPOCEnumerator
ruleIDSubs :
GTXLtoLatexConverter
rulePreparer :
BackwardAnalysis
,
PreparedGTS
,
PreparedGTS::uqinst_iterator
,
RulePreparerTest
rulesFilename :
BackwardStepTest
running :
Timer
- s -
scale :
LatexExporter
scenarioDescriptor :
Scenario
scenarioName :
Scenario
scnNameToIDMapping :
ScenarioLoader
showWarnings :
GTXLReader
source :
IDtoIDEnumerator
srcGraphs :
MatcherScenario
startTime :
Timer
stdRules :
GTS
stepnr :
InstantWriterResultHandler
stopOnFirstFind :
StdMatchFinder
storeGraphIDs :
GTXLWriter
storeRuleIDs :
GTXLWriter
stringPtr :
SafeXTString< T >
synonyms :
Scenario
- t -
targetName :
GTXLtoLatexConverter
targets :
IDtoIDEnumerator
tarGraphs :
MatcherScenario
templateGraph :
PartialPOCEnumerator
templateGraphME :
TotalPOCEnumerator
templateGraphOr :
TotalPOCEnumerator
templateMapp :
PartialPOCEnumerator
templateMappME :
TotalPOCEnumerator
templateMappOr :
TotalPOCEnumerator
timeout :
Timer
timer :
TerminationMessage
,
BackwardAnalysis
totalPOCs :
PartialPOCEnumerator
type :
GTXLtoLatexConverter
- u -
uqRuleInstances :
PreparedGTS
uqRuleLengths :
PreparedGTS
uqRules :
GTS
- v -
valid :
IDPartitionEnumerator
vec :
VectorCallback< E >
vertexEnums :
TotalPOCEnumerator
vertexEnumsInj :
TotalPOCEnumerator
vertexMergings :
PartialPOCEnumerator
vertices :
AnonHypergraph
,
Edge
- w -
wasInitialized :
Scenario
Generated on Tue Dec 8 2015 17:14:10 for UnCoVer (Using Coverability for Verification) by
1.8.6