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

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

public bool ctx
return bool

endOf public property

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

firstAction public property

public Action firstAction
return Action

next public property

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

nr public property

public int nr
return int