/**
 * contains all the data objects of the hoare-module.
 * The {@link Model} is the main class which handles most
 * of the controlling.<br>
 * {@link VerificationFormula} represents all the data in the
 * verification tree. * 
 */
package org.jalgo.module.hoare.model;