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

Afficher le fichier Open project: boogie-org/boogie-partners

Méthodes publiques

Свойство	Type	Description
left	Symbol

Méthodes publiques

Méthode	Description
CNode ( Symbol l, Symbol r ) : System

Method Details

CNode() public méthode

public CNode ( Symbol l, Symbol r ) : System
l	Symbol
r	Symbol
Résultat	System

Property Details

left public_oe property

public Symbol,at.jku.ssw.Coco left
Résultat	Symbol