checkbutton_class (library)

Library usage: :- use_module(library(checkbutton_class)).
Exports: Predicates: variable_value/1 .
Other modules used: System library modules: objects/objects_rt .

Author(s): Montserrat Urraca.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.9#125 (2003/12/4, 17:33:7 CET)

Usage and interface (`checkbutton_class`)

PREDICATE: variable_value/1:

Usage 1: variable_value(Variable)

Description: Sets the value of global Variable to indicate whether or not this button is selected.
Call and exit should be compatible with: Variable is currently instantiated to an atom. (term_typing:atom/1)
The following properties should hold at call time: Variable is currently a term which is not a free variable. (term_typing:nonvar/1)

Usage 2: variable_value(Variable)

Description: Gets the value of global Variable which indicates if the button is selected.
Call and exit should be compatible with: Variable is currently instantiated to an atom. (term_typing:atom/1)
The following properties should hold at call time: Variable is a free variable. (term_typing:var/1)