Package 

Class KFuncDecl2

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      final A0 getArg0Sort()
      final A1 getArg1Sort()
      abstract KApp<T, ?> apply(KContext $self, KExpr<A0> arg0, KExpr<A1> arg1)
      KApp<T, ?> apply(List<KExpr<?>> args)

      • Methods inherited from class io.ksmt.decl.KDecl

        checkArgSorts, equals, getArgSorts, getName, getSort, hashCode, print

      • Methods inherited from class io.ksmt.KAst

        getCtx, toString

      • Methods inherited from class io.ksmt.decl.KFuncDecl

        accept

      • Methods inherited from class java.lang.Object

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