/**
* 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);
}
/**
* 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);
}
