| 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. } |