Package 

Class KZ3SortInternalizer

  • All Implemented Interfaces:
    io.ksmt.sort.KSortVisitor 
    
public class KZ3SortInternalizer
 implements KSortVisitor<Unit>

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      Unit visit(KBoolSort sort)
      Unit visit(KIntSort sort)
      Unit visit(KRealSort sort)
      <D extends KSort, R extends KSort> Unit visit(KArraySort<D, R> sort)
      <D0 extends KSort, D1 extends KSort, R extends KSort> Unit visit(KArray2Sort<D0, D1, R> sort)
      <D0 extends KSort, D1 extends KSort, D2 extends KSort, R extends KSort> Unit visit(KArray3Sort<D0, D1, D2, R> sort)
      <R extends KSort> Unit visit(KArrayNSort<R> sort)
      Unit visit(KFpRoundingModeSort sort)
      <T extends KBvSort> Unit visit(T sort)
      <S extends KFpSort> Unit visit(S sort)
      Unit visit(KUninterpretedSort sort)
      final Long internalizeZ3Sort(KSort sort)

      • Methods inherited from class io.ksmt.sort.KSortVisitor

        visit

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait