Render

object Render(source)

Plain text for a ranking and a plan, at three levels from the same data. The inputs are the canonical JSON of Ranking and Plan, which is what a case directory holds, so a live result and a case read back render the same. Lines stay within WIDTH columns.

Properties

Link copied to clipboard
const val WIDTH: Int = 100

Functions

Link copied to clipboard
fun next(plan: Plan, detail: Detail): String

fun next(plan: JsonObject, detail: Detail, done: Set<String> = emptySet()): String

done holds experiment ids that already have a recorded result; they are not proposed.

Link copied to clipboard
fun render(ranking: Ranking, plan: Plan, detail: Detail): String
fun render(ranking: JsonObject, plan: JsonObject, detail: Detail, done: Set<String> = emptySet()): String
Link copied to clipboard
fun summary(ranking: JsonObject): String