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

Show file Open project: boogie-org/boogie-partners Class Usage Examples

Public Properties

Property	Type	Description
next	Target
state	State

Public Methods

Method	Description
Target ( State s ) : System

Method Details

Target() public method

public Target ( State s ) : System
s	State
return	System

Property Details

next public property

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

state public property

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