arrow-analysis-common/arrow.meta.plugins.analysis.smt/Solver/Companion

Companion

object Companion
Content copied to clipboard

Functions

invoke
Link copied to clipboard
operator fun invoke(nameProvider: NameProvider): Solver
Content copied to clipboard

Properties

BOOL_VALUE_NAME
Link copied to clipboard
val BOOL_VALUE_NAME: String
Content copied to clipboard
DECIMAL_VALUE_NAME
Link copied to clipboard
val DECIMAL_VALUE_NAME: String
Content copied to clipboard
FIELD_FUNCTION_NAME
Link copied to clipboard
val FIELD_FUNCTION_NAME: String
Content copied to clipboard
INT_VALUE_NAME
Link copied to clipboard
val INT_VALUE_NAME: String
Content copied to clipboard
IS_NULL_FUNCTION_NAME
Link copied to clipboard
val IS_NULL_FUNCTION_NAME: String
Content copied to clipboard