public BinaryDecisionDiagram relativeProductTo( BinaryDecisionDiagram transitions, BinaryDecisionDiagram existsFromStateAndCharacter) { int oldId = id; this.id = bdd.relProd(id, transitions.id, existsFromStateAndCharacter.id); discard(oldId); return this; }