src/app/model/api/model-checker-trace.ts
Trace of the ModelChecking algorithm. Includes information about a checked formula and its children.
Properties |
|
| children |
children:
|
Type : ModelCheckerTrace[]
|
| Optional |
| description |
description:
|
Type : TranslationDTO
|
| formula |
formula:
|
Type : string
|
| isModel |
isModel:
|
Type : boolean
|
| shouldBeModel |
shouldBeModel:
|
Type : boolean
|
import { TranslationDTO } from 'src/app/model/dto/translation.dto';
/**
* Trace of the ModelChecking algorithm.
* Includes information about a checked formula and its children.
*/
export interface ModelCheckerTrace {
formula: string;
description: TranslationDTO;
isModel: boolean;
shouldBeModel: boolean;
children?: ModelCheckerTrace[];
}