Output: An empty nD-EVM. |
Procedure InitEVM( ) |
{ Returns the empty set. } |
Input: An nD-EVM p |
Output: A Boolean. |
Procedure EndEVM(EVM p) |
{ Returns true if the end of p along -axis has been reached. } |
Input: An nD-EVM p |
Output: An (n − 1)D-EVM embedded in (n − 1)D space. |
Procedure ReadHvl(EVM p) |
{ Extracts next (n − 1)D couplet perpendicular to -axis from p. } |
Input: Two nD-EVMs p and q. |
Output: An nD-EVM |
Procedure MergeXor(EVM p, EVM q) |
{ Applies the Exclusive OR operation to the vertices of p and q |
and returns the resulting set. } |
Input: An nD-EVM p |
Output: A Boolean. |
Procedure IsEmpty(EVM p) |
{ Returns true if p is an empty set. } |