C# Class MSO.Eval.GenRandomMSO

显示文件 Open project: AutomataDotNet/Automata Class Usage Examples

Public Methods

Method	Description
GenerateMSOZ3Formula ( ) : List>.Pair
Run ( ) : void

Private Methods

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

Method Details

GenerateMSOZ3Formula() public static method

public static GenerateMSOZ3Formula ( ) : List>.Pair
return	List>.Pair

Run() public static method

public static Run ( ) : void
return	void