Uses of Class
minicp.state.Trailer

Packages that use Trailer

Package	Description
minicp.state	State Management

Uses of Trailer in minicp.state

Constructors in minicp.state with parameters of type Trailer

Constructor and Description
TrailBool(Trailer context, boolean initial)
TrailInt(Trailer trail, int initial)
TrailMap(Trailer trail)