arrow-analysis-common/arrow.meta.plugins.analysis.smt/substituteVariable

substituteVariable

fun <T : Formula> Solver.substituteVariable(formula: T, mapping: Map<String, Formula>): T
Content copied to clipboard