// import edu.neu.ccs.evergreen.ir.*;
class Main {

  static public void main(String args[]) throws Exception {
    int r1 = RelationCore.firstForcedVariable(5,3);
    System.out.println(r1 + " what does 5 force? ");
    int forcedTo = RelationCore.isForced(5,3,0);
    System.out.println(forcedTo + " what is 0 forced to by 5? ");

    int r12 = RelationCore.firstForcedVariable(7,3);
    System.out.println(r12 + " what does 7 force? ");
    int forcedTo2 = RelationCore.isForced(7,3,2);
    System.out.println(forcedTo2 + " what is 2 forced to by 7? ");

    r12 = RelationCore.firstForcedVariable(9,3);
    System.out.println(r12 + " what does 9 force? ");
    forcedTo2 = RelationCore.isForced(9,3,2);
    System.out.println(forcedTo2 + " what is 2 forced to by 9? ");
  /// 
    int or_3_0 = RelationNumberFactory.or(3,0,1,2);
    System.out.println(or_3_0);

    // order relevant?
    int or_3_0r = RelationNumberFactory.or(3,2,1,0);
    System.out.println(or_3_0r);
    System.out.println(" (or 2 1 0)");

    // or_x
    int x = 0;
    int or_x = RelationNumberFactory.or(3,x);
    System.out.println(or_x);
    System.out.println(" (or 0)");

    // System.out.println(!or_x);
    // System.out.println(" (or !0)");

    int y = 1;
    int imply_x_y = RelationNumberFactory.imply(3,x,y);
    System.out.println(imply_x_y);
    System.out.println(" (imply 0 1)");

    int or_3_1 = RelationNumberFactory.or(3,-0,1,2);
    System.out.println(or_3_1);

    int or_3_2 = RelationNumberFactory.or(3,-0,-1,2);
    System.out.println(or_3_2);

    System.out.println();
    System.out.println();

  }
}