/**
* {@inheritDoc}
*
* @see bigstep.BigStepProofRule#apply(bigstep.BigStepProofContext, bigstep.BigStepProofNode)
*/
@Override
public void apply(BigStepProofContext context, BigStepProofNode node)
throws ProofRuleException, ClassCastException {
// can only be applied to Tuples
Tuple tuple = (Tuple) node.getExpression();
// check if memory is enabled
if (context.isMemoryEnabled()) {
// add a child node for the first sub expression
context.addProofNode(node, tuple.getExpressions(0));
} else {
// add all child nodes at once
for (Expression e : tuple.getExpressions()) {
context.addProofNode(node, e);
}
}
}
