Microsoft.Automata.Z3.TreeRule.TreeRule C# (CSharp) Méthode

TreeRule Class Documentation Afficher le fichier Open project: AutomataDotNet/Automata

TreeRule() private méthode

Create a tree rule with regular lookahead.

private TreeRule ( Expr state, FuncDecl symbol, Expr guard, Expr output ) : System
state	Microsoft.Z3.Expr
symbol	Microsoft.Z3.FuncDecl
guard	Microsoft.Z3.Expr
output	Microsoft.Z3.Expr
Résultat	System

        internal TreeRule(Expr state, FuncDecl symbol, Expr guard, Expr output, params ExprSet[] lookahead)
            : base(symbol, guard, lookahead)
        {
            this.state = state;
            this.output = output;
        }

Same methods

TreeRule::TreeRule ( Expr state, FuncDecl symbol, Expr guard, Expr output, int rank ) : System

TreeRule

CheckForAllStates

EnumerateStatesInOutput

Equals

GetAcceptorRule

GetHashCode

GetStatesOf

GetVariableIndex

IsTrueForAllStates

MkIdRule

Normalize

ToString

TreeRule