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