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

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

Méthodes publiques

Свойство	Type	Description
next	Target
state	State

Méthodes publiques

Méthode	Description
Target ( State s ) : System

Method Details

Target() public méthode

public Target ( State s ) : System
s	State
Résultat	System

Property Details

next public_oe property

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

state public_oe property

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