aplib-master/src/main/java/eu/iv4xr/framework/extensions/ltl/gameworldmodel/package-info.java
/**
 * Provide a class, {@link GameWorldModel}, that can be used as a model of a
 * "computer game". The model is executable, and can be exposed to the
 * LTL-model-checker
 * {@link eu.iv4xr.framework.extensions.ltl.BuchiModelChecker}.
 */
package eu.iv4xr.framework.extensions.ltl.gameworldmodel;