ModelCheckerTrace

constructor(formula: String, description: TranslationDTO, isModel: Boolean, shouldBeModel: Boolean, children: List<ModelCheckerTrace>? = null)(source)

Creates a ModelCheckerTrace with the given parameters.