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

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

Public Properties

Property	Type	Description
next	Melted
set	System.Collections.BitArray
state	State

Public Methods

Method	Description
Melted ( BitArray set, State state ) : System

Method Details

Melted() public method

public Melted ( BitArray set, State state ) : System
set	System.Collections.BitArray
state	State
return	System

Property Details

next public property

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

set public property

public BitArray,System.Collections set
return	System.Collections.BitArray

state public property

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