// FILE. . . . . d:/hak/hlt/src/hlt/fot/fuz/FuzzyFirstOrderTerm.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Mon Aug 13 08:41:04 2018

package hlt.fot.fuz;

/**
 * @version     Last modified on Fri Aug 23 12:06:49 2019 by hak
 * @author      <a href="mailto:hak@acm.org">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; <a href="http://www.hassan-ait-kaci.net/">by the author</a>
 */

import hlt.fot.*;

/**
 * This is a class representing a fuzzy first-order term. It consists of
 * <a href="../FirstOrderTerm.html"><tt>FirstOrderTerm</tt></a> paired
 * with a fuzzy degree, a <tt>double</tt>.
 *
 * @see         ../FirstOrderTerm
 */
public class FuzzyFirstOrderTerm
{
  /* ************************************************************************ */

  private FirstOrderTerm term;

  public FirstOrderTerm term ()
  {
    return term;
  }

  private double degree = 1.0;

  public double degree ()
  {
    return degree;
  }

  public FuzzyFirstOrderTerm (FirstOrderTerm term, double degree)
  {
    this.term = term;
    this.degree = degree;
  }

  public String toString ()
  {
    return term+" ["+degree+"]";
  }


}