C# 클래스 at.jku.ssw.Coco.Target

파일 보기 프로젝트 열기: boogie-org/boogie-partners 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
next	Target
state	State

공개 메소드들

메소드	설명
Target ( State s ) : System

메소드 상세

Target() 공개 메소드

public Target ( State s ) : System
s	State
리턴	System

프로퍼티 상세

next 공개적으로 프로퍼티

public Target,at.jku.ssw.Coco next
리턴	Target

state 공개적으로 프로퍼티

public State,at.jku.ssw.Coco state
리턴	State