A B C D E F G H I J K L M N O P Q R S T U V X Y Z _

Y

y_mem - Variable in class edu.wis.jtlv.lib.games.GR1GameAlg

y_mem - Variable in class edu.wis.jtlv.old_lib.games.GR1Game

yieldStates(Module, BDD) - Method in class edu.wis.jtlv.env.module.Module

A state s in included in the returning result if responder module can force this module to reach a state in "to".
That is, regardless of how this module will move from the result, the responder module can choose an appropriate move into "to".