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

Mostrar archivo Open project: boogie-org/boogie-partners Class Usage Examples

Public Properties

Property Type Description
ctx bool
endOf Symbol
firstAction Action
next State
nr int

Public Methods

Method Description
AddAction ( Action act ) : void
DetachAction ( Action act ) : void
MeltWith ( State s ) : void

Method Details

AddAction() public method

public AddAction ( Action act ) : void
act Action
return void

DetachAction() public method

public DetachAction ( Action act ) : void
act Action
return void

MeltWith() public method

public MeltWith ( State s ) : void
s State
return void

Property Details

ctx public_oe property

public bool ctx
return bool

endOf public_oe property

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

firstAction public_oe property

public Action firstAction
return Action

next public_oe property

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

nr public_oe property

public int nr
return int