FormulaIsomorphism (owl 21.0 API)

java.lang.Object
- owl.ltl.util.FormulaIsomorphism

public final class FormulaIsomorphism
extends Object

- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static int[] compute(Formula formula1, Formula formula2)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

compute

@Nullable
public static int[] compute(Formula formula1,
                            Formula formula2)