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

Mostra file Open project: boogie-org/boogie-partners Class Usage Examples

Public Properties

Property 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

Public Methods

Method Description
Node ( int typ, Symbol sym, int line ) : System

Method Details

Node() public method

public Node ( int typ, Symbol sym, int line ) : System
typ int
sym Symbol
line int
return System

Property Details

code public_oe property

public int code
return int

down public_oe property

public Node,at.jku.ssw.Coco down
return Node

line public_oe property

public int line
return int

n public_oe property

public int n
return int

next public_oe property

public Node,at.jku.ssw.Coco next
return Node

pos public_oe property

public Position,at.jku.ssw.Coco pos
return Position

set public_oe property

public BitArray,System.Collections set
return System.Collections.BitArray

state public_oe property

public State,at.jku.ssw.Coco state
return State

sub public_oe property

public Node,at.jku.ssw.Coco sub
return Node

sym public_oe property

public Symbol,at.jku.ssw.Coco sym
return Symbol

typ public_oe property

public int typ
return int

up public_oe property

public bool up
return bool

val public_oe property

public int val
return int