Toggle navigation
Hot Examples
ES
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Buscar
Inicio
at
jku
ssw
Coco
Target
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