Property Index
Symbols
A
B
C
- class_name/1 (objects_rt property)
- class_source/1 (objects_rt property)
- clique/1 (native_props property)
- clique_1/1 (native_props property)
- compat/1 (native_props property)
- compat/2 (basic_props property)
- const_head/1 (term_basic property)
- constraint/1 (native_props property)
- constructor/1 (objects_rt property)
- covered/1 (native_props property)
- covered/2 (native_props property)
D
- davinci_command/1 (davinci property)
- deprecated/1 (basic_props property)
- do_not_free/2 (foreign_interface_properties property)
- docstring/1 (assertions_props property)
E
- equiv/2 (basic_props property)
- error_free/1 (basic_props property)
- eval/1 (basic_props property)
- exception/1 (native_props property)
- exception/2 (native_props property)
- expander_pred/1 (expansion_tools property)
F
- fails/1 (native_props property)
- field_Id/1 (provrml_parser property)
- filter/2 (basic_props property)
- finite_solutions/1 (native_props property)
- float/1 (term_typing property)
- foreign/1 (foreign_interface_properties property)
- foreign/2 (foreign_interface_properties property)
- foreign_low/1 (foreign_interface_properties property)
- foreign_low/2 (foreign_interface_properties property)
- fuzzybody/1 (fuzzy_doc property)
G
H
I
- indep/1 (native_props property)
- indep/2 (native_props property)
- inst/2 (basic_props property)
- instance/1 (native_props property)
- instance/2 (native_props property)
- instance_id/1 (objects_rt property)
- integer/1 (term_typing property)
- interface_name/1 (objects_rt property)
- interface_source/1 (objects_rt property)
- is_det/1 (native_props property)
- iso/1 (basic_props property)
L
M
- member/2 (basic_props property)
- memo/1 (basic_props property)
- method_spec/1 (objects_rt property)
- mshare/1 (native_props property)
- mut_exclusive/1 (native_props property)
N
- nabody/1 (assertions_props property)
- native/1 (basic_props property)
- native/2 (basic_props property)
- needs_state/1 (foreign_interface_properties property)
- no_choicepoints/1 (native_props property)
- no_exception/1 (native_props property)
- no_exception/2 (native_props property)
- no_rtcheck/1 (basic_props property)
- no_signal/1 (native_props property)
- no_signal/2 (native_props property)
- non_det/1 (native_props property)
- nonground/1 (native_props property)
- nonvar/1 (term_typing property)
- not_covered/1 (native_props property)
- not_fails/1 (native_props property)
- not_further_inst/2 (basic_props property)
- not_mut_exclusive/1 (native_props property)
- num_solutions/2 (native_props property)
- number/1 (term_typing property)
P
- parse/1 (field_value property)
- pe_type/1 (basic_props property)
- possibly_fails/1 (native_props property)
- possibly_nondet/1 (native_props property)
R
- regtype/1 (basic_props property)
- relations/2 (native_props property)
- returns/2 (foreign_interface_properties property)
- rtcheck/1 (basic_props property)
- rtcheck/2 (basic_props property)
S
- sideff/2 (basic_props property)
- sideff_hard/1 (native_props property)
- sideff_pure/1 (native_props property)
- sideff_soft/1 (native_props property)
- signal/1 (native_props property)
- signal/2 (native_props property)
- signals/2 (native_props property)
- size/2 (native_props property)
- size/3 (native_props property)
- size_lb/2 (native_props property)
- size_metric/3 (native_props property)
- size_metric/4 (native_props property)
- size_o/2 (native_props property)
- size_of/3 (foreign_interface_properties property)
- size_ub/2 (native_props property)
- solutions/2 (native_props property)
- sourcenames/1 (toplevel_doc property)
- steps/2 (native_props property)
- steps_lb/2 (native_props property)
- steps_o/2 (native_props property)
- steps_ub/2 (native_props property)
- sublist/2 (lists property)
- subordlist/2 (lists property)
- succeeds/1 (native_props property)
T
- tau/1 (native_props property)
- terminates/1 (native_props property)
- test_type/2 (native_props property)
- throws/2 (native_props property)
- ttr/3 (foreign_interface_properties property)
- type/2 (term_typing property)
