public BinaryDecisionDiagram existsTo(BinaryDecisionDiagram binaryDecisionDiagram) { int oldId = id; this.id = bdd.exists(id, binaryDecisionDiagram.id); discard(oldId); return this; }