/** @apilevel internal */
public void flushCollectionCache() {
super.flushCollectionCache();
}
/** @apilevel internal */
@SuppressWarnings({"unchecked", "cast"})
public Binary clone() throws CloneNotSupportedException {
Binary node = (Binary) super.clone();
node.isConstant_visited = -1;
node.isConstant_computed = false;
node.isConstant_initialized = false;
node.isDAafterTrue_Variable_values = null;
node.isDAafterFalse_Variable_values = null;
node.isDAafter_Variable_values = null;
node.isDUafter_Variable_values = null;
node.isDUbefore_Variable_values = null;
node.in$Circle(false);
node.is$Final(false);
return node;
}
/** @apilevel low-level */
public void flushCache() {
super.flushCache();
type_computed = false;
type_value = null;
}
