Method captureAlphaState

src/main/java/jace/state/StateManager.java:353–363

()

    }

    private State captureAlphaState() {
        State s = new State();
        s.deltaState = false;
        allStateVariables.stream().map((node) -> {
            s.put(node, new StateValue(node));
            return node;
        }).forEach((node) -> {
            node.markClean();
        });
        return s;
    }

    private State captureDeltaState(State tail) {
        State s = new State();