ENTITY maths_boolean_variable SUBTYPE OF (maths_variable, boolean_variable); WHERE wr1: subspace_of_es(SELF\maths_variable.values_space,es_booleans); END_ENTITY; -- maths_boolean_variable |
Entity data types and their attributesgeneric_expression- simple_generic_expression - generic_variable (INV) interpretation: environment FOR syntactic_representation; maths_variable values_space: maths_space; name: label; expression - boolean_expression - simple_boolean_expression - variable - boolean_variable - maths_boolean_variable - |
Global rules for this entity data type- |
public interface EMaths_boolean_variable extends EMaths_variable, EBoolean_variable |
public class CMaths_boolean_variable implements EMaths_boolean_variable |
public class AMaths_boolean_variable extends AEntitypublic EMaths_boolean_variable getByIndex(int index)public EMaths_boolean_variable getCurrentMember(SdaiIterator it) |