Class 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)
    • 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.
      • 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.