// FILE. . . . . d:/hak/hlt/src/hlt/fot/fuz/FuzzyFirstOrderTermPair.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Mon Aug 13 07:50:14 2018

package hlt.fot.fuz;

/**
 * @version     Last modified on Fri Aug 23 12:06:59 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 for fuzzy pairs of first-order terms defined on a
 * signature of <a href="Functor.html"><tt>Functor</tt></a>s.
 *
 * @see         ../FirstOrderTermPair
 */
public class FuzzyFirstOrderTermPair extends FirstOrderTermPair
{
  /* ************************************************************************ */

  private double degree = 1.0;

  public double degree ()
  {
    return degree;
  }

  public FuzzyFirstOrderTermPair (FirstOrderTerm left, FirstOrderTerm right)
  {
    super(left,right);
  }

  public FuzzyFirstOrderTermPair (FirstOrderTerm left, FirstOrderTerm right, double degree)
  {
    super(left,right);
    this.degree = degree;
  }

  public String toString ()
  {
    return "<"+left+","+right+","+degree+">";
  }
}