package G4ip;

import G4ip.Form.*;

/** An intuitionistic sequent of the form     

  *  "Gamma => G".

  */

public class Sequent  {

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

  public Form    G;       

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

  public Context Gamma;   

  public Sequent(Context init_Gamma, Form init_G) {

        G = init_G;

    Gamma = new Context(init_Gamma);

  }

  public Sequent(Sequent sequ) {

        G = sequ.G;

    Gamma = new Context(sequ.Gamma);

  }

  /** Prints a sequent.  */

  public String toString() {

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

    return s;

  }

}