VacuumEnvironment.LocationState.Clean);
tve3 = new VacuumEnvironment(VacuumEnvironment.LocationState.Clean,
VacuumEnvironment.LocationState.Dirty);
tve4 = new VacuumEnvironment(VacuumEnvironment.LocationState.Dirty,
VacuumEnvironment.LocationState.Clean);
a = new ModelBasedReflexVacuumAgent();
}