ptolemy.data.ontologies.lattice

Class ConstraintManager

java.lang.Object

ptolemy.data.ontologies.lattice.ConstraintManager

public class ConstraintManager
extends java.lang.Object

A class that collects and manages all the inequality constraints for an OntologySolver.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Man-Kit Leung

Pt.AcceptedRating:

Red (mankit)

Pt.ProposedRating:

Red (mankit)

Constructor Summary

Constructors

Constructor and Description
ConstraintManager(LatticeOntologySolver solver) Constructs a ConstraintManager object.

Method Summary

Modifier and Type	Method and Description
java.util.List<InequalityTerm>	getConstrainingTerms(java.lang.Object object) Return the list of constraining terms for the given object.
void	setConstraints(java.util.List<Inequality> constraints) Sets the list of inequality constraints to be managed by the ConstraintManager.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintManager

public ConstraintManager(LatticeOntologySolver solver)

Constructs a ConstraintManager object.

Parameters:

solver - The lattice-based ontology solver using this constraint manager

Method Detail

setConstraints

public void setConstraints(java.util.List<Inequality> constraints)

Sets the list of inequality constraints to be managed by the ConstraintManager.

Parameters:

constraints - The list of inequality constraints.

getConstrainingTerms

public java.util.List<InequalityTerm> getConstrainingTerms(java.lang.Object object)

Return the list of constraining terms for the given object.

Parameters:

object - The given object.

Returns:

The list of constraining terms for the given object.