Package 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 Description ConstraintManager(LatticeOntologySolver solver)
Constructs a ConstraintManager object.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.
-
-
-
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.
-
-