C# 클래스 MSO.Eval.GenRandomMSO

파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 메소드들

메소드	설명
GenerateMSOZ3Formula ( ) : List>.Pair
Run ( ) : void

비공개 메소드들

메소드	설명
GenerateMSOFormula ( int maxVarIndex ) : List>.Pair
GeneratePredicate ( ) : BoolExpr
GeneratePredicateOut ( int attemptsLeft ) : BoolExpr
varOf ( int n ) : Variable

메소드 상세

GenerateMSOZ3Formula() 공개 정적인 메소드

public static GenerateMSOZ3Formula ( ) : List>.Pair
리턴	List>.Pair

Run() 공개 정적인 메소드

public static Run ( ) : void
리턴	void