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

Mostrar archivo 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_oe property

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

state public_oe property

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