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