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

Show 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 property

public int code
return	int

down public property

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

line public property

public int line
return	int

n public property

public int n
return	int

next public property

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

pos public property

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

set public property

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

state public property

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

sub public property

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

sym public property

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

typ public property

public int typ
return	int

up public property

public bool up
return	bool

val public property

public int val
return	int