-
- All Implemented Interfaces:
-
io.ksmt.cache.KInternedObject
public final class KFpGreaterOrEqualExpr<S extends KFpSort> extends KApp<KBoolSort, S>
-
-
Method Summary
Modifier and Type Method Description List<KExpr<S>>
getArgs()
KDecl<KBoolSort>
getDecl()
KBoolSort
getSort()
final KExpr<S>
getArg0()
final KExpr<S>
getArg1()
KExpr<KBoolSort>
accept(KTransformerBase transformer)
Integer
internHashCode()
Any.hashCode analogue for interning purposes. Boolean
internEquals(Object other)
Any.equals analogue for interning purposes. -
Methods inherited from class io.ksmt.KAst
getCtx, toString
-
Methods inherited from class io.ksmt.expr.KApp
decl, print
-
Methods inherited from class io.ksmt.expr.KExpr
equals, hashCode, print
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Method Detail
-
accept
KExpr<KBoolSort> accept(KTransformerBase transformer)
-
internHashCode
Integer internHashCode()
Any.hashCode analogue for interning purposes.
-
internEquals
Boolean internEquals(Object other)
Any.equals analogue for interning purposes.
-
-
-
-