A C D F G H I J L M N O R S T

A

asTerm() - Method in class org.jpc.examples.metro.model.llapi.LineLLApi

asTerm() - Method in class org.jpc.examples.metro.model.llapi.MetroLLApi

asTerm() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

C

connected(Station) - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

connected(Line) - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

connected() - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

connected(Station) - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

connected(Line) - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

connected() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

connected(Station) - Method in interface org.jpc.examples.metro.model.Station

connected(Line) - Method in interface org.jpc.examples.metro.model.Station

connected() - Method in interface org.jpc.examples.metro.model.Station

connects(Station, Station) - Method in class org.jpc.examples.metro.model.hlapi.LineHLApi

connects(Station, Station) - Method in interface org.jpc.examples.metro.model.Line

connects(Station, Station) - Method in class org.jpc.examples.metro.model.llapi.LineLLApi

create(Term) - Static method in class org.jpc.examples.metro.model.llapi.LineLLApi

create(Term) - Static method in class org.jpc.examples.metro.model.llapi.StationLLApi

D

DEFAULT_DATA_FILE - Static variable in class org.jpc.examples.metro.MetroPrologFileLoader

DEFAULT_DATA_FILE - Static variable in class org.jpc.examples.metro.MetroRawDataLoader

F

fromTerm(Compound, Type, Jpc) - Method in class org.jpc.examples.metro.model.hlapi.converters.LineConverter

fromTerm(Atom, Type, Jpc) - Method in class org.jpc.examples.metro.model.hlapi.converters.MetroConverter

fromTerm(Compound, Type, Jpc) - Method in class org.jpc.examples.metro.model.hlapi.converters.StationConverter

G

getFactory() - Static method in class org.jpc.examples.metro.MetroExample

getName() - Method in class org.jpc.examples.metro.model.hlapi.LineHLApi

getName() - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

getName() - Method in interface org.jpc.examples.metro.model.Line

getName() - Method in class org.jpc.examples.metro.model.llapi.LineLLApi

getName() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

getName() - Method in interface org.jpc.examples.metro.model.Station

H

HelloWorld - Class in org.jpc.examples.helloworld

HelloWorld() - Constructor for class org.jpc.examples.helloworld.HelloWorld

I

importFromPrologFile() - Static method in class org.jpc.examples.metro.MetroExample

importFromRawDataFile() - Static method in class org.jpc.examples.metro.MetroExample

intermediateStations(Station) - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

intermediateStations(Station) - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

intermediateStations(Station) - Method in interface org.jpc.examples.metro.model.Station

J

jpcContext - Static variable in class org.jpc.examples.metro.model.hlapi.MetroHLApi

L

line(String) - Method in class org.jpc.examples.metro.model.hlapi.MetroFactoryHLApi

line(String) - Method in class org.jpc.examples.metro.model.hlapi.MetroHLApi

Line - Interface in org.jpc.examples.metro.model

An underground line.

line(String) - Method in class org.jpc.examples.metro.model.llapi.MetroFactoryLLApi

line(String) - Method in class org.jpc.examples.metro.model.llapi.MetroLLApi

line(String) - Method in interface org.jpc.examples.metro.model.Metro

line(String) - Method in interface org.jpc.examples.metro.model.MetroFactory

LINE_FUNCTOR_NAME - Static variable in class org.jpc.examples.metro.model.hlapi.converters.LineConverter

LINE_FUNCTOR_NAME - Static variable in class org.jpc.examples.metro.model.llapi.LineLLApi

LineConverter - Class in org.jpc.examples.metro.model.hlapi.converters

LineConverter() - Constructor for class org.jpc.examples.metro.model.hlapi.converters.LineConverter

LineHLApi - Class in org.jpc.examples.metro.model.hlapi

LineHLApi(String) - Constructor for class org.jpc.examples.metro.model.hlapi.LineHLApi

LineLLApi - Class in org.jpc.examples.metro.model.llapi

LineLLApi(String) - Constructor for class org.jpc.examples.metro.model.llapi.LineLLApi

lines() - Method in class org.jpc.examples.metro.model.hlapi.MetroHLApi

lines() - Method in class org.jpc.examples.metro.model.llapi.MetroLLApi

lines() - Method in interface org.jpc.examples.metro.model.Metro

load() - Method in class org.jpc.examples.metro.MetroPrologFileLoader

load() - Method in class org.jpc.examples.metro.MetroRawDataLoader

load(File) - Method in class org.jpc.examples.metro.MetroRawDataLoader

load() - Method in class org.jpc.examples.metro.MetroSaltLoader

load(File) - Method in class org.jpc.examples.metro.MetroSaltLoader

loadAll() - Static method in class org.jpc.examples.metro.MetroExample

LOADER_FILE - Static variable in class org.jpc.examples.metro.MetroExample

M

main(String[]) - Static method in class org.jpc.examples.helloworld.HelloWorld

metro() - Method in class org.jpc.examples.metro.model.hlapi.MetroFactoryHLApi

metro() - Method in class org.jpc.examples.metro.model.llapi.MetroFactoryLLApi

Metro - Interface in org.jpc.examples.metro.model

An underground system.

metro() - Method in interface org.jpc.examples.metro.model.MetroFactory

METRO_ATOM_NAME - Static variable in class org.jpc.examples.metro.model.hlapi.converters.MetroConverter

METRO_ATOM_NAME - Static variable in class org.jpc.examples.metro.model.llapi.MetroLLApi

METRO_LINE_MARKER - Static variable in class org.jpc.examples.metro.MetroRawDataLoader

MetroConverter - Class in org.jpc.examples.metro.model.hlapi.converters

MetroConverter() - Constructor for class org.jpc.examples.metro.model.hlapi.converters.MetroConverter

MetroExample - Class in org.jpc.examples.metro

MetroExample() - Constructor for class org.jpc.examples.metro.MetroExample

MetroFactory - Interface in org.jpc.examples.metro.model

A factory of underground objects.

MetroFactoryHLApi - Class in org.jpc.examples.metro.model.hlapi

MetroFactoryHLApi() - Constructor for class org.jpc.examples.metro.model.hlapi.MetroFactoryHLApi

MetroFactoryLLApi - Class in org.jpc.examples.metro.model.llapi

MetroFactoryLLApi() - Constructor for class org.jpc.examples.metro.model.llapi.MetroFactoryLLApi

MetroHLApi - Class in org.jpc.examples.metro.model.hlapi

MetroHLApi() - Constructor for class org.jpc.examples.metro.model.hlapi.MetroHLApi

MetroLLApi - Class in org.jpc.examples.metro.model.llapi

MetroLLApi() - Constructor for class org.jpc.examples.metro.model.llapi.MetroLLApi

MetroPrologFileLoader - Class in org.jpc.examples.metro

MetroPrologFileLoader(PrologEngine) - Constructor for class org.jpc.examples.metro.MetroPrologFileLoader

MetroRawDataLoader - Class in org.jpc.examples.metro

The data loader for the metro example

MetroRawDataLoader(PrologEngine) - Constructor for class org.jpc.examples.metro.MetroRawDataLoader

MetroSaltLoader - Class in org.jpc.examples.metro

An alternative (shorter) implementation for a data loader using the SALT library

MetroSaltLoader(PrologEngine) - Constructor for class org.jpc.examples.metro.MetroSaltLoader

N

nearby(Station) - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

nearby() - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

nearby(Station) - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

nearby() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

nearby(Station) - Method in interface org.jpc.examples.metro.model.Station

nearby() - Method in interface org.jpc.examples.metro.model.Station

numberConnections() - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

numberConnections() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

numberConnections() - Method in interface org.jpc.examples.metro.model.Station

numberNearbyStations() - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

numberNearbyStations() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

numberNearbyStations() - Method in interface org.jpc.examples.metro.model.Station

numberReachableStations() - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

numberReachableStations() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

numberReachableStations() - Method in interface org.jpc.examples.metro.model.Station

O

org.jpc.examples.helloworld - package org.jpc.examples.helloworld

A simple Hello World example using the JPC library.

org.jpc.examples.metro - package org.jpc.examples.metro

A JPC example based on the London Underground system.

org.jpc.examples.metro.model - package org.jpc.examples.metro.model

Abstract interfaces modelling the underground example.

org.jpc.examples.metro.model.hlapi - package org.jpc.examples.metro.model.hlapi

A concrete implementation of the underground example using the JPC high-level API.

org.jpc.examples.metro.model.hlapi.converters - package org.jpc.examples.metro.model.hlapi.converters

JPC converters for the underground example.

org.jpc.examples.metro.model.llapi - package org.jpc.examples.metro.model.llapi

A concrete implementation of the underground example using the JPC low-level API.

R

reachable(Station) - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

reachable(Station) - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

reachable(Station) - Method in interface org.jpc.examples.metro.model.Station

removeData() - Static method in class org.jpc.examples.metro.MetroExample

S

segments() - Method in class org.jpc.examples.metro.model.hlapi.LineHLApi

segments() - Method in interface org.jpc.examples.metro.model.Line

segments() - Method in class org.jpc.examples.metro.model.llapi.LineLLApi

setFactory(MetroFactory) - Static method in class org.jpc.examples.metro.MetroExample

station(String) - Method in class org.jpc.examples.metro.model.hlapi.MetroFactoryHLApi

station(String) - Method in class org.jpc.examples.metro.model.llapi.MetroFactoryLLApi

station(String) - Method in interface org.jpc.examples.metro.model.MetroFactory

Station - Interface in org.jpc.examples.metro.model

An underground station.

STATION_FUNCTOR_NAME - Static variable in class org.jpc.examples.metro.model.hlapi.converters.StationConverter

STATION_FUNCTOR_NAME - Static variable in class org.jpc.examples.metro.model.llapi.StationLLApi

StationConverter - Class in org.jpc.examples.metro.model.hlapi.converters

StationConverter() - Constructor for class org.jpc.examples.metro.model.hlapi.converters.StationConverter

StationHLApi - Class in org.jpc.examples.metro.model.hlapi

StationHLApi(String) - Constructor for class org.jpc.examples.metro.model.hlapi.StationHLApi

StationLLApi - Class in org.jpc.examples.metro.model.llapi

StationLLApi(String) - Constructor for class org.jpc.examples.metro.model.llapi.StationLLApi

structuredHelloWorld() - Static method in class org.jpc.examples.helloworld.HelloWorld

Structured version.

T

textHelloWorld() - Static method in class org.jpc.examples.helloworld.HelloWorld

Plain text version.

toString() - Method in class org.jpc.examples.metro.model.hlapi.LineHLApi

toString() - Method in class org.jpc.examples.metro.model.hlapi.MetroHLApi

toString() - Method in class org.jpc.examples.metro.model.hlapi.StationHLApi

toString() - Method in class org.jpc.examples.metro.model.llapi.LineLLApi

toString() - Method in class org.jpc.examples.metro.model.llapi.MetroLLApi

toString() - Method in class org.jpc.examples.metro.model.llapi.StationLLApi

toTerm(Line, Class<Compound>, Jpc) - Method in class org.jpc.examples.metro.model.hlapi.converters.LineConverter

toTerm(Metro, Class<Atom>, Jpc) - Method in class org.jpc.examples.metro.model.hlapi.converters.MetroConverter

toTerm(Station, Class<Compound>, Jpc) - Method in class org.jpc.examples.metro.model.hlapi.converters.StationConverter

A C D F G H I J L M N O R S T