Beispiel #1
0
 /**
  * Constructs the node with only its non NodeToken child node(s).
  *
  * @param n0 first child node
  */
 public RIFConclusion(final RIFFormula n0) {
   f0 = new NodeToken("conclusion");
   if (f0 != null) f0.setParent(this);
   f1 = new NodeToken("(");
   if (f1 != null) f1.setParent(this);
   f2 = n0;
   if (f2 != null) f2.setParent(this);
   f3 = new NodeToken(")");
   if (f3 != null) f3.setParent(this);
 }
Beispiel #2
0
 /**
  * Constructs the node with all its children nodes.
  *
  * @param n0 first child node
  * @param n1 next child node
  * @param n2 next child node
  * @param n3 next child node
  */
 public RIFConclusion(
     final NodeToken n0, final NodeToken n1, final RIFFormula n2, final NodeToken n3) {
   f0 = n0;
   if (f0 != null) f0.setParent(this);
   f1 = n1;
   if (f1 != null) f1.setParent(this);
   f2 = n2;
   if (f2 != null) f2.setParent(this);
   f3 = n3;
   if (f3 != null) f3.setParent(this);
 }