public void Minimize() { minimized = true; minimizeButton.GetComponent <Image>().color = minimized ? minimizedColor : maximizedColor; minState = MinimizeState.CLOSING; stateChangedStart = Time.time; }
public Graph Resolve() { _state = new MinimizeState(_afd); _state.RemoveNotAcessibleNodes(_operands, _afd); _state.ResolveProgramFunction(_operands); _state.InitTable(); _state.Mark(); _state.PairAnalysis(_operands); _state.Union(); _state.Generate(_operands); _state.RemoveNotAccessibleNodesFromMinimized(_operands); return(_state.GetMinimizedGraph()); }
private void Start() { minState = MinimizeState.IDLE; saveState = SaveState.FIRST_ATTEMPT; stateChangedStart = 0f; wordRect = wordObject.GetComponent <RectTransform>(); wordDim = new Vector2(wordRect.rect.width, wordRect.rect.height); minimized = false; startOptionsWindow.SetActive(false); AudioManager.instance.PlayStartSound(); }
public void MinimizedClicked() { minimized = !minimized; minimizeButton.GetComponent <Image>().color = minimized ? minimizedColor : maximizedColor; if (minimized) { minState = MinimizeState.CLOSING; } else { minState = MinimizeState.OPENING; } stateChangedStart = Time.time; }
private void Update() { // Save taken animation if (saveTaken) { if (Time.time - timeSavedTaken > 15) { saveTaken = false; StartErasing(); } } // Erase themes animation if (eraseThemes) { if (Time.time - lastErase > delay) { lastErase = Time.time; if (jamThemes.text.Length > 0) { jamThemes.text = jamThemes.text.Substring(0, jamThemes.text.Length - 2); } else { eraseThemes = false; jamThemes.interactable = true; fileErased = true; timeErased = Time.time; } } } // Start game if (fileErased && (Time.time - timeErased > 10)) { fileErased = false; StartGame(); } // Hide Start menu if clicked outside of the start button if (Input.GetMouseButton(0) && Input.mousePosition.x > 120 && Input.mousePosition.y > 30) { startOptionsWindow.SetActive(false); } // Animate minimization if (minState != MinimizeState.IDLE) { float dTime = Time.time - stateChangedStart; float ratio = 1f; if (dTime >= minimizeDelay) { // End ratio ratio = minState == MinimizeState.CLOSING ? 1 - ratio : ratio; // Stop animation wordObject.GetComponent <CanvasGroup>().interactable = minState == MinimizeState.OPENING; minState = MinimizeState.IDLE; } else { // Compute ratio ratio = dTime / minimizeDelay; ratio = minState == MinimizeState.CLOSING ? 1 - ratio : ratio; } wordRect.offsetMin = new Vector2(130 * (1 - ratio), wordRect.offsetMin.y); wordRect.offsetMax = new Vector2((350 - wordDim.x) * (1 - ratio), -wordDim.y * (1 - ratio)); wordObject.GetComponent <CanvasGroup>().alpha = ratio; } }