private IGate ReplaceTransitionVariablesHandler(TransitionSet tset, IGate q, bool value) { var result = q; if (result is IVariableCondition) { var vc = ((IVariableCondition)result); if (!tset.Contains(vc.Variable)) { result = Gate.Constant(value); } } return(result); }
private IGate ReplaceTransitionVariablesHandler(TransitionSet tset, IGate q, bool value) { var result = q; if (result is IVariableCondition) { var vc = ((IVariableCondition)result); if (!tset.Contains(vc.Variable)) { result = Gate.Constant(value); } } return result; }