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

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

공개 프로퍼티들

프로퍼티 타입 설명
ctx bool
endOf Symbol
firstAction Action
next State
nr int

공개 메소드들

메소드 설명
AddAction ( Action act ) : void
DetachAction ( Action act ) : void
MeltWith ( State s ) : void

메소드 상세

AddAction() 공개 메소드

public AddAction ( Action act ) : void
act Action
리턴 void

DetachAction() 공개 메소드

public DetachAction ( Action act ) : void
act Action
리턴 void

MeltWith() 공개 메소드

public MeltWith ( State s ) : void
s State
리턴 void

프로퍼티 상세

ctx 공개적으로 프로퍼티

public bool ctx
리턴 bool

endOf 공개적으로 프로퍼티

public Symbol,at.jku.ssw.Coco endOf
리턴 Symbol

firstAction 공개적으로 프로퍼티

public Action firstAction
리턴 Action

next 공개적으로 프로퍼티

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

nr 공개적으로 프로퍼티

public int nr
리턴 int