This module implements
Function or value | Description |
|
|
Full Usage:
PrintTeachingToolKripke ostr kripke
Parameters:
TextWriter
kripke : KripkeStructure
|
|
|
|
Full Usage:
RandomAutomataDeterminizationExamples rand inVars stVars stLen trLen numProblems
Parameters:
Random
inVars : string list
stVars : string list
stLen : int
trLen : int
numProblems : int
|
|
Full Usage:
RandomBddAlgorithmExamples rand varL numOps numProblems
Parameters:
Random
varL : string list
numOps : int
numProblems : int
|
|
|
|
|
|
|
|
|
|
Full Usage:
RandomKripkeStructure trProb rand varL numStates
Parameters:
float
rand : Random
varL : seq<string>
numStates : int
Returns: KripkeStructure
|
|
Full Usage:
RandomLinearInequalities rand withInt numEqs numVars maxCoeff numProblems maxSteps
Parameters:
Random
withInt : bool
numEqs : int
numVars : int
maxCoeff : int
numProblems : int
maxSteps : 'a
|
|
Full Usage:
RandomModelCheckingExamples trProb rand varL numStates numProblems
Parameters:
float
rand : Random
varL : seq<string>
numStates : int
numProblems : int
|
|
Full Usage:
RandomParityGame trProb rand maxRank numStates
Parameters:
float
rand : Random
maxRank : int
numStates : int
Returns: ParityGame
|
|
Full Usage:
RandomParityGameSolutions trProb rand maxRank numStates numProblems
Parameters:
float
rand : Random
maxRank : int
numStates : int
numProblems : int
|
|
|
|
|
|
Full Usage:
RandomPropLogicExamples rand varL numOps numProblems
Parameters:
Random
varL : seq<string>
numOps : int
numProblems : int
|
|
|
|
Full Usage:
RandomSatLTL rand varL length numProblems
Parameters:
Random
varL : string[]
length : int
numProblems : int
|
generate random LTL formulas (without propositional operators) and compute a satisfying and an unsatisfying model
|
Full Usage:
RandomSimulationExamples trProb rand varL numStates numProblems
Parameters:
float
rand : Random
varL : seq<string>
numStates : int
numProblems : int
|
|
Full Usage:
RandomSymbolicPreSucExamples rand varL stLen trLen numProblems
Parameters:
Random
varL : string list
stLen : int
trLen : int
numProblems : int
|
|