Index - N
| negation | Dep.Bricks.Negation |
| negationH | Dep.Bricks.Negation |
| negationHList | Dep.Bricks.Negation |
| negationList | Dep.Bricks.Negation |
| negationV | Dep.Bricks.Negation |
| negationVList | Dep.Bricks.Negation |
| negator | Dep.Bricks.Box |
| NonDeterministicWalkable | Dep.Class.NonDeterministicWalkable |
| nstep | Dep.Class.NonDeterministicWalkable, Dep.Data.Three |
| nstep' | Dep.Class.NonDeterministicWalkable |
| nstepValues | Dep.Class.NonDeterministicWalkable |
| nstepValues' | Dep.Class.NonDeterministicWalkable |
| numberOfVariables | Dep.Data.LogicItem |
| nwalk | Dep.Class.NonDeterministicWalkable |
| nwalkValues | Dep.Class.NonDeterministicWalkable |