gov.nasa.jpf.symbc.veritesting.ast.def

Interface Region

All Known Implementing Classes:

DynamicRegion, StaticRegion

public interface Region

An interface that represents a region. Regions are later defined as a "StaticRegion" and "DynamicRegion"