Java TFormulaInfo Examples

Example #1

File: AbstractFormula.java Project: stahlbauer/java-smt

 @Override
 public final boolean equals(@Nullable Object o) {
   if (!(o instanceof AbstractFormula)) {
     return false;
   }
   return formulaInfo.equals(((AbstractFormula<?>) o).formulaInfo);
 }

Example #2

File: AbstractFormula.java Project: stahlbauer/java-smt

 @Override
 public final String toString() {
   return formulaInfo.toString();
 }

Example #3

File: AbstractFormula.java Project: stahlbauer/java-smt

 @Override
 public final int hashCode() {
   return formulaInfo.hashCode();
 }