FuzzyFirstOrderTermPair.java 

// 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;
This is a class for fuzzy pairs of first-order terms defined on a signature of Functors.

See also:  /FirstOrderTermPair
Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Mon Aug 13 17:50:36 2018 by hak 



import hlt.fot.*;

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+">";
  }
}

This file was generated on Sat Aug 25 08:03:09 CEST 2018 from file FuzzyFirstOrderTermPair.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci