arrow-analysis-common/arrow.meta.plugins.analysis.smt.utils/KotlinPrinter

KotlinPrinter

interface KotlinPrinter
Content copied to clipboard

Functions

dumpKotlinLike
Link copied to clipboard
open fun List<Formula>.dumpKotlinLike(): String
Content copied to clipboard
abstract fun Formula.dumpKotlinLike(): String
Content copied to clipboard
dumpKotlinLikeOrRemove
Link copied to clipboard
abstract fun Formula.dumpKotlinLikeOrRemove(): String?
Content copied to clipboard
mirroredElement
Link copied to clipboard
abstract fun mirroredElement(name: String): ReferencedElement?
Content copied to clipboard

Inheritors

Solver
Link copied to clipboard