/**

simple_bat

A simple BAT, mainly for testing purposes.

@author  Jens Cla√üen
@license GPLv2


**/

:- use_module('../../../verification/fixpoint_ctl').

:- discontiguous causes_true/3.
:- discontiguous causes_false/3.

initially(p).

rel_fluent(p).

poss(a,p).
poss(b,-p).

causes_true(b,p,-p).
causes_false(a,p,p).

program(control,loop([a,b])).

property(prop1, 
         control,
         somepath(always(p))).
