object

station(Name)

A metro station

author:
Sergio Castro
compilation flags:
static, context_switching_calls

(no dependencies on other files)

Public interface

name/1

Name is the station name.

compilation flags:
static
template:
name(Name)

connected/1

Station is a connected station.

compilation flags:
static
template:
connected(Station)

connected/2

Station is a connected station by means of Line.

compilation flags:
static
template:
connected(Station,Line)

nearby/1

Station is a nearby station.

compilation flags:
static
template:
nearby(Station)

reachable/1

Station is a reachable station.

compilation flags:
static
template:
reachable(Station)

reachable/2

Station is a reachable station by means of traversing IntermediateStations.

compilation flags:
static
template:
reachable(Station,IntermediateStations)

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

(none)