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

fieldNames

fun FormulaManager.fieldNames(f: Formula): Set<Pair<String, ObjectFormula>>
Content copied to clipboard
fun FormulaManager.fieldNames(f: Iterable<Formula>): Set<Pair<String, ObjectFormula>>
Content copied to clipboard