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) |