C# Class MSO.Eval.GenRandomMSO

Afficher le fichier Open project: AutomataDotNet/Automata Class Usage Examples

Méthodes publiques

Méthode	Description
GenerateMSOZ3Formula ( ) : List>.Pair
Run ( ) : void

Private Methods

Méthode	Description
GenerateMSOFormula ( int maxVarIndex ) : List>.Pair
GeneratePredicate ( ) : BoolExpr
GeneratePredicateOut ( int attemptsLeft ) : BoolExpr
varOf ( int n ) : Variable

Method Details

GenerateMSOZ3Formula() public static méthode

public static GenerateMSOZ3Formula ( ) : List>.Pair
Résultat	List>.Pair

Run() public static méthode

public static Run ( ) : void
Résultat	void