|
ENTITY ground_fact_armx SUBTYPE OF (atomic_formula_armx, ground_fact); WHERE wr1: SIZEOF ( QUERY ( r <* SELF \ atomic_formula_armx . terms | contains_variable ( r ) ) ) = 0 ; END_ENTITY; -- ground_fact_armx |
Entity data types and their attributesrepresentation_itemname: label; compound_representation_item item_element: compound_item_definition; atomic_formula - atomic_formula_armx (RT) name->predicate_symbol: predicate_symbol; terms: LIST [0:?] OF term_select; (RT) (DER) item_element: compound_item_definition; ground_fact - ground_fact_armx - |
Global rules for this entity data type- |
public interface EGround_fact_armx extends EAtomic_formula_armx, EGround_fact |
public class CGround_fact_armx implements EGround_fact_armx |
public class AGround_fact_armx extends AEntitypublic EGround_fact_armx getByIndex(int index)public EGround_fact_armx getCurrentMember(SdaiIterator it) |