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;
  }
}