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 _

K

kDeltaPred(BDD, BDD, int) - Static method in class edu.wis.jtlv.env.Env

Given a set of state and a transitions, the procedure return all states which can lead in maximum k number of steps to given states, excluding the given states themselves (in some cases this might be more efficient the kPred, and then conjuncting out the negation).

kDeltaSucc(BDD, BDD, int) - Static method in class edu.wis.jtlv.env.Env

Given a set of state and a transitions, the procedure return all states which can be reached in maximum k number of steps from these states, excluding the given states themselves (in some cases this might be more efficient the allSucc, and then conjuncting out the negation).

kPred(BDD, BDD, int) - Static method in class edu.wis.jtlv.env.Env

Given a set of state and a transitions, the procedure return all states which can lead in maximum k number of steps to given states.

kSucc(BDD, BDD, int) - Static method in class edu.wis.jtlv.env.Env

Given a set of state and a transitions, the procedure return all states which can be reached in maximum k number of steps from these states.