SimilarFunctorSignature.java 

// FILE. . . . . d:/hak/hlt/src/hlt/fot/fuz/SimilarFunctorSignature.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Sun Jul 15 07:47:27 2018

package hlt.fot.fuz;

import hlt.fot.Signature;

import hlt.language.util.ArrayList;

import java.util.HashMap;
import java.util.Iterator;
This is a class containing all the information concerning similar pairs of functors of a term-constructor signature as a set of Functor objects.

See also:  /Signature, /Functor, SignatureSimilarity
Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Sat Aug 11 15:37:48 2018 by hak 



public class SimilarFunctorSignature extends Signature
{
  /* ************************************************************************ */
This is the SignatureSimilarity defined on this signature if any has been defined yet; null otherwise. 


  private SignatureSimilarity similarity;
Returns the SignatureSimilarity if one is defined on this signature. 


  public SignatureSimilarity similarity ()
  {
    return similarity;
  }
Returns true iff a SignatureSimilarity is defined on this signature. 


  public boolean hasSimilarity ()
  {
    return similarity != null;
  }
Define this signature's similarity on the functors to the specified SignatureSimilarity (whose referential signature is then this signature). 


  public void setSimilarity (SignatureSimilarity similarity)
  {
    this.similarity = similarity;
  }

}

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