Uses of Class
dev.civl.mc.semantics.IF.TypeEvaluation

Packages that use TypeEvaluation

Package	Description
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

Uses of TypeEvaluation in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF that return TypeEvaluation

Modifier and Type	Method	Description
TypeEvaluation	Evaluator.getDynamicType(State state, int pid, CIVLType type, CIVLSource source, boolean isDefinition)	Evaluates the dynamic type of a given CIVL type at a certain state.