• 홈
• Microsoft
• Automata
• Z3
• TreeRule

C# 클래스 Microsoft.Automata.Z3.TreeRule

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

공개 메소드들

메소드	설명
EnumerateStatesInOutput ( ) : int>>.IEnumerable	Enumerate all occurrences of $trans(q,subtree_id) in the output as pairs (q,subtree_id).
Equals ( object obj ) : bool
GetAcceptorRule ( ) : TreeRule	Include all states in the output also in the lookahead. Delete the output.
GetHashCode ( ) : int
IsTrueForAllStates ( bool>.Func phi ) : bool	Returns true iff all states that occur in the rule satisfy the predicate phi.
Normalize ( ) : TreeRule	Include all states in the output also in the lookahead.
ToString ( ) : string

비공개 메소드들

메소드	설명
CheckForAllStates ( Expr output, bool>.Func phi ) : bool
GetStatesOf ( Expr t ) : IEnumerable	Enumerates all pairs Expr[]{state,child_variable}.
GetVariableIndex ( Expr x ) : int
MkIdRule ( RankedAlphabet A ) : TreeRule
TreeRule ( Expr state, FuncDecl symbol, Expr guard, Expr output ) : System	Create a tree rule with regular lookahead.
TreeRule ( Expr state, FuncDecl symbol, Expr guard, Expr output, int rank ) : System	Create a tree rule with empty regular lookahead.

메소드 상세