C# Class at.jku.ssw.Coco.Tab.CNode

Show file Open project: boogie-org/boogie-partners

Public Properties

Property	Type	Description
left	Symbol

Public Methods

Method	Description
CNode ( Symbol l, Symbol r ) : System

Method Details

CNode() public method

public CNode ( Symbol l, Symbol r ) : System
l	Symbol
r	Symbol
return	System

Property Details

left public property

public Symbol,at.jku.ssw.Coco left
return	Symbol