C# Class at.jku.ssw.Coco.Node

Afficher le fichier Open project: boogie-org/boogie-partners Class Usage Examples

Méthodes publiques

Свойство Type Description
code int
down Node
line int
n int
next Node
pos Position
set System.Collections.BitArray
state State
sub Node
sym Symbol
typ int
up bool
val int

Méthodes publiques

Méthode Description
Node ( int typ, Symbol sym, int line ) : System

Method Details

Node() public méthode

public Node ( int typ, Symbol sym, int line ) : System
typ int
sym Symbol
line int
Résultat System

Property Details

code public_oe property

public int code
Résultat int

down public_oe property

public Node,at.jku.ssw.Coco down
Résultat Node

line public_oe property

public int line
Résultat int

n public_oe property

public int n
Résultat int

next public_oe property

public Node,at.jku.ssw.Coco next
Résultat Node

pos public_oe property

public Position,at.jku.ssw.Coco pos
Résultat Position

set public_oe property

public BitArray,System.Collections set
Résultat System.Collections.BitArray

state public_oe property

public State,at.jku.ssw.Coco state
Résultat State

sub public_oe property

public Node,at.jku.ssw.Coco sub
Résultat Node

sym public_oe property

public Symbol,at.jku.ssw.Coco sym
Résultat Symbol

typ public_oe property

public int typ
Résultat int

up public_oe property

public bool up
Résultat bool

val public_oe property

public int val
Résultat int