edu.udel.cis.vsl.sarl.config.common (API for SARL trunk r2891)

package edu.udel.cis.vsl.sarl.config.common

Implementation of the configuration classes specified in package edu.udel.cis.vsl.sarl.IF.config.

Classes

Class

Description

CommonProverInfo

Very simple implementation of ProverInfo.

CommonSARLConfig

An implementation of SARLConfig using an array for the ProverInfos as well as a map from the prover names to the ProverInfos for fast lookup.

ConfigFactory

Factory for producing and manipulating SARL configuration files and SARLConfig objects.