pnode<'a> (Calculemus)

pnode<'a> Type

Namespace: Calculemus.Lib
Assembly: Calculemus.dll
Parent Module: Partition
Base Type: obj
All Interfaces: IStructuralEquatable , IComparable<pnode<'a>> , IComparable , IStructuralComparable

Type of polymorphic partition node.

Union case	Description
`Nonterminal 'a` Full Usage: `Nonterminal 'a` Parameters: Item : `'a` - The representative of the equivalence class.	Nonterminal node: associated to non canonical elements. `Nonterminal 1` is the node that would be associated to an element that is not the representative, or the canonical element, of its equivalence class and in fact in this case the representative would be `1`. Item : `'a` The representative of the equivalence class.
`Terminal('a, int)` Full Usage: `Terminal('a, int)` Parameters: Item1 : `'a` - The representative of the equivalence class. Item2 : `int` - The size of the equivalence class.	Terminal node: associated to canonical elements. `Terminal (1, 4)` is the node that would be associated to `1` when `1` is the representative, or the canonical element, of its equivalence class and the equivalence class has 4 elements. Item1 : `'a` The representative of the equivalence class. Item2 : `int` The size of the equivalence class.