Interface TCoreCounterexample

interface TCoreCounterexample {
assignment: TCoreExpressionAssignment;
result: TCoreArgumentEvaluationResult;
}

Index

Properties

assignment result

Properties

assignment

assignment: TCoreExpressionAssignment

Assignment under which the argument fails to preserve truth.

result

result: TCoreArgumentEvaluationResult

Full argument evaluation result for that assignment.