1 package G4ip;

     2 

     3 import G4ip.Form.*;

     4 

     5 /** An intuitionistic sequent of the form     

     6   *  "Gamma => G".

     7   */

     8 public class Sequent  {

     9   /** Goal formula on the right-hand side. */

    10   public Form    G;       

    11   /** Context (multiset of formulae) on the left-hand side. */

    12   public Context Gamma;   

    13 

    14   public Sequent(Context init_Gamma, Form init_G) {

    15         G = init_G;

    16     Gamma = new Context(init_Gamma);

    17   }

    18 

    19   public Sequent(Sequent sequ) {

    20         G = sequ.G;

    21     Gamma = new Context(sequ.Gamma);

    22   }

    23 

    24   /** Prints a sequent.  */

    25   public String toString() {

    26     String s = Gamma.makeString() +  " => " + G.toString();

    27     return s;

    28   }

    29 }