Class NormalForm.Builder

  • Enclosing class:
    NormalForm

    public static final class NormalForm.Builder
    extends java.lang.Object
    NormalForm.Builder implements a clause builder.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(Clause clause)
      Appends the specified clause to the normal form.
      void add​(NormalForm form)
      Appends the clauses of the normal form specified as a parameter to this normal form.
      NormalForm build()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • add

        public void add​(Clause clause)
        Appends the specified clause to the normal form.
        Parameters:
        clause - the clause to be added.
      • add

        public void add​(NormalForm form)
        Appends the clauses of the normal form specified as a parameter to this normal form.
        Parameters:
        form - the form whose clauses to be added.