C# Class Microsoft.Automata.Z3.AcceptorBase

The acceptor base of a tree rule.

Datei anzeigen Open project: AutomataDotNet/Automata

Protected Properties

Property	Type	Description
guard	Microsoft.Z3.Expr
symbol	Microsoft.Z3.FuncDecl

Public Methods

Method	Description
Equals ( object obj ) : bool
GetHashCode ( ) : int
Lookahead ( int i ) : Microsoft.Automata.OrderedSet	Language state set for bottom element i, where i is in [0..Rank-1].
ToString ( ) : string

Private Methods

Method	Description
AcceptorBase ( FuncDecl symbol, Expr guard, Microsoft.Automata.OrderedSet lookahead ) : System
AcceptorBase ( FuncDecl symbol, Expr guard, int rank ) : System

Method Details

Equals() public method

public Equals ( object obj ) : bool
obj	object
return	bool

GetHashCode() public method

public GetHashCode ( ) : int
return	int

Lookahead() public method

Language state set for bottom element i, where i is in [0..Rank-1].

public Lookahead ( int i ) : Microsoft.Automata.OrderedSet
i	int
return	Microsoft.Automata.OrderedSet

ToString() public method

public ToString ( ) : string
return	string

Property Details

guard protected_oe property

protected Expr,Microsoft.Z3 guard
return	Microsoft.Z3.Expr

symbol protected_oe property

protected FuncDecl,Microsoft.Z3 symbol
return	Microsoft.Z3.FuncDecl