Class NestedNormalForm

All Implemented Interfaces:
Iterable<Clause>, Collection<Clause>, Set<Clause>

public class NestedNormalForm extends NestedSet<Clause>