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

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

Méthodes publiques

Свойство Type Description
ctx bool
endOf Symbol
firstAction Action
next State
nr int

Méthodes publiques

Méthode Description
AddAction ( Action act ) : void
DetachAction ( Action act ) : void
MeltWith ( State s ) : void

Method Details

AddAction() public méthode

public AddAction ( Action act ) : void
act Action
Résultat void

DetachAction() public méthode

public DetachAction ( Action act ) : void
act Action
Résultat void

MeltWith() public méthode

public MeltWith ( State s ) : void
s State
Résultat void

Property Details

ctx public_oe property

public bool ctx
Résultat bool

endOf public_oe property

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

firstAction public_oe property

public Action firstAction
Résultat Action

next public_oe property

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

nr public_oe property

public int nr
Résultat int