Index of values

In this variable files read in command line are accumulated

ac_parg x Adds x to the list of strings ac_file.

add_arch_ref claname lseq In the forest lseq adds to the nodes refclasif withouth "arch" attribute, such attribute with value claname

add_cla typcal idcla desc ncla tcla adds a clasif with type typcal, identification idcla, description desc in the tree tcla extracted from file

add_markup_path path If it doesn't exists adds the path path to the paths where XMLs and DTDs opened by Markup are looked for (with higher priority than exisiting entries

add_refcla typseq idseq typcla idcla nseq tseq adds a reference to a classification of type typcla, id idcla in a sequence with type typseq, id idseq possibly adding also the sequence if it doesn't exist.

ahorcadoArmar response usedchars retorna la cadena response con * los carácteres que no están en usedchars remplazados por espacios.

Interfaz para jugar ahorcado.

True iff all the available definitions must be asked.

Amount of questions to ask.

Amount of annotations

array_of s Receives a simple type s and returns the type for arrays of that type

atstr_from_str s Translates the string s to an XML string for an attribute

attr elem name returns the attribute name of the element elem.

Amount of authors (it should be >=1 and there should be default)

Amount of bibliographies (it should be >=1 and there should be default)

binaryopfloat binaryop f1 f2 Performs the binary operation binaryop between the flotants f1 and f2

Returns a form of question according to f (only useful when f is FormqRandom)

cast_val pos oldval newval Returns the value newval with the type of oldval.

char_to_xmlstr c Returns the XML encoding of a character

check_annotation retval hat elem Checks node elem with an annotation, uses hat to check repeated annotations.

Checks the node of an answer.

check_author retval elem Checks node with an author name elem.

check_bib retval elem checks the bibliography node elem.

Checks an XML with a classification (clasif.dtd).

Checks an element <clasif>.

Checks the node <clasificacion>.

check_common retval bib rights authors annot elem Checks common elements to several, this must be the last after checking others

check_date retval pos_file d Checks the string with date d, if a problem ocurrs reports problem as appearing in pos_file and sets the reference retval in a non-zero value.

Checks an XML with definitions (def.dtd).

Checks the nodes of a definiton file.

check_despiste_pista which format (id_word,id_m) hdesp elem checks the element <despiste> or <pista> elem in a meaning id_word, id_m accumulating despistes/pistas of the same meaning in hdesp.

Checks a son node of a classification node.

Checks the node of an example.

Checks the node of an exercise.

Checks an XML file for repasa

check_id idparent numdot hi retval elem decides if the element elem with id and type has appropiate id and type.

Checks that between the classifications referenced in a sequence there are not repeated classification or subclassifications.

check_prdef name full_name l Checks an XML with progress in definitions (prdef.dtd).

check_prog retval hf elem Checks an element <prog> that comes in elem.

check_progress full_name dname defs l checks the nodes of a progress file.

Checks the node of a question.

check_refclassif retval classifs idwithfile check_elem dname dclassif hclassif lres elem Checks a reference to a classification elem.

Checks sons of a refcla.

Checks an element refind, the file of attribute arch must exists

check_refmeaning retval words check_son dname defs hw elem Checks the node elem of a referenced word.

check_rights retval elem Checks node with rights elem.

Checks an element <sec>.

check_seqfile name full_name seq Checks an XML with a sequence (sec.dtd).

check_sequence full_name format htypes dname dclassif l checks the nodes of a sequence file.

check_sig format id_word hsig lastidm elem checks the element <sig> elem in a word id_word accumulating identifiers of <sig> elements in hsig.

check_son_prgo hf hat elem Checks the sons of a referenced word.

Checks the node of a referenced word.

check_text_format retval format pos_file d Checks the string d with respect to format format.

check_type_hier chkord hc retval strict hiertypes elem parent_type decides if the element elem with id and type has appropiate id and type.

Indicates if the program must be type checked

check_word format hw elem Checks an element <pal> elem.

Amount of classifications referenced (it should be >=1)

Amount of classifications (it should be >=1).

cmp_esp_char case c1 c2 compares the spanish characters c1 and c2.

cmp_esp_str case s1 s2 compares the strings s1 and s2.

commspec info Returns a common spec based on info

comp_types t1 t2 Decides if the types t1 and t2 are comparable

complete_choices errfun n lop lpal Completes n choices including lop and words choosen aleatory from lpal.

compress_space s changes occurrences of multiple spaces in s for just one.

count_elem_pred pred l returns the amount of elements in markup-forest l that satisfy the predicate pred.

count_root_elem name l returns the amount of root elements with name name in the markup-forest l.

count_root_elem_attr lab_elem lab_attr val_attr l returns the amount of root elements in markup-forest l with the label lab_elem, with the attribute lab_attr and the value val_attr for the attribute.

count_roots l count the amount of root elements in the markup-forest l.

days_date d Returns the amount of days between 1, Jan, 1970 and a given date d in the local time zone.

def_val_interface interf Assigns default values to data of interface interf.

Amount of despistes

empty_root_data l Decides if the nodes in the markup-forest l don't have data.

empty_string s decides if the string s is empty (i.e if it only has spaces).

endRepasa interf writes progress, sends email and returns results

Amount of examples.

Examplar to create a data node

Examplar to create a new element

Amount of exercises.

exists_deep_nelem n p l returns true if there is an element with name n in any branch of the markup-forest l that fulfills the predicate p.

exists_elem p l returns true if there is an element in the markup-forest l that fulfills the predicate p withouth looking subnodes

Type to expect after type checking

ext_add_cs name_elem typ (idp,idr) desc dtd parent l extracts or adds to the forest l son of parent (sequence or classification with dtd dtd), an element name_elem according to the identification idp^"."^idr (see function next_id_sc) and type typ.

extract_classif_file retval pos_file dname dcla typc idc Extracts a classification subtree with name typc, id idc possibly opening the necessary file or using the default information provided dname dcla.

extract_dat l Extracts all the data of the markup-forest l.

extract_date d returns day, month and year of date in string d.

extract_desc l extracts data of an element <desc> in the markup-forest l.

extract_meaning id l extracts meaning with id idm from the definitions tree l (def.dtd).

extract_meaning_badchoices id l Extracts meaning with idm and bad choices for it from the definitions tree l

extract_meaning_file retval pos_file dname defs fname id Extracts a meaning opening the necessary files or using the default information provided.

extract_meaning_tree id l extracts tree with meaning with id id from the definitions tree l (def.dtd).

extract_seq_file retval pos_file dname dseq typs ids Extracts a sequence subtree with id ids, type typs, possibly opening the necessary file or using the default information provided dname dseq.

extract_subtree nelem typc id l Extracts from l the subtree that begins in an element nelem with the attributes tipo and id with values typc and id

extract_subtree_file retval pos_file dname forest nroot name_elem typc idm extracts a subtree name_elem with type typc and identification id, if necessary opening the appropriate file or using the default information provided dname, forest.

file_basename n returns the name of the filename n (i.e removes extension).

file_extension n returns the extension of the filename n.

Name of file that is being parsed

filter_elem p l Filters all the elements of markup-forest l that satisfy predicate p, withouth looking subnodes.

filter_elem_pname pred l Extracts all the elements in the markup-forest l whose name satisfy the predicate pred (it doesn't look in sub nodes).

first_char s returns the first character of the string s.

first_deep_nelem n p l returns the first element with name n from forest l that fulfills predicate p.

first_elem p l Returns the first element in the markup-forest l that fulfills the predicate p withouth looking subnodes

for2for fin fout s if possible, translates the string s from format fin in format fout

for2tex f s translates the string s using the format f to TeX.

for2txt f s translates the string s using the format f.

Format of information in sequence file

Possible politic.

Possible politic.

fpol_pgm pgm iw maxw returns a politics value computed by prom program pgm, based on information of the word iw and knowing that the maxium of all weights is maxw.

Possible politic.

Possible politic.

Comparision for List.sort and other functions.

get_date () Returns a string with the local date in format day/month/year

Amount of correct answers

has_attr elem name decides if the element elem has an attribute name.

hash_entries q returns the amount of different keys in the hashing table q.

hashtbl_first h p Returns a key of the hashing table h that satisfies the predicate p.

insert_all_meanings fname fordef hw f inserts all the words (along with meanings, hints and bad choices) of definition tree f (file fname, format fordef) in hw, always with weight 0

int_file inistate f Interpretes the prom program in file f using the prolog pro

int_stmts state stmts executes the statements stmts beginning in the given state, modifies the state according to the instructions.

Indicates if the program must be interpreted and the result printed

Decides if a character is a space.

isrefcla typcla idcla elem Decides if element elem (which is a refclasif) has type typcla and id idcla

iter_elem f l Iterates over all the elements of a markup-forest l applying the function f.

iter_nelem n f le Iterates over all the elements of the markup forest le with the given name n, applying function f.

last_char s returns the last character of the string s.

Last form of question

file of last asked word

idm of last asked word

Last list of options in multiple choice question

id of last asked word

Classifications to open

Definitions files to open

list_index 0 id l returns the index of id in the list l (beginning numbering in 0) or -1 if it is not found

list_left n l Return a list of the elements of l before position n.

list_right n l Return a list of the elements of l after position n.

List of words to complete multiple choice tests

List of words to ask

List with sequences that could be selected

program to send email

Returns the maximum between two data.

max_type t1 t2 Returns the greather of two compatible types

Max amount of seconds for test, if it is 0 there is no limit

Amount of meanings (it should be >=1)

Shows a message, a menu and waits and option in a prompt.

name_element elem returns the name of the element elem.

nextQuestions interf newq asks a question from the list of questions.

next_id_sc (idp,idr) Returns next part of an identification of a sequence or a classification (idp',idr') where idp' is next part.

Amount of choices in multiple choice questions

Number of line in parsing

array_of a Receives an array type a and returns the type of the elements

Returns a list with the identifications and weights of words ordered in increasing order.

parse_args info interfParses arguments and intialize variables and interface.

parse_format retval pos_file f l Parses format name f.

parse_heur elem

parse_texpr s Parses the string s with a simple type

parse_time s parses a string that should have time followed by a unit, it should be a number followed by any of the postfix s for seconds, m for minutes, h for hours.

Name of default file with classifications, received in command line

Name of default file with definitions, received from command line.

Form of question selected in command line

Format of input file specified in comman line with option -f

Hierarchy of types received in command line

Amount of hints

Maximal length of each description, in command line with option -f

ppr_markup oc t Pretty prints the Markup tree t as XML (it doesn't use included DTDs).

Name of file with progress

prep_paths () Prepares the paths where Markup will look by default for XMLs and DTDs.

prep_to_open interf format fname Prepares the file fname for opening it.

prepareQuestions interf lis prepares the questions of the files parsed in command line and of the sequences referenced in lis

Indicates if the program must be indented and printed in stdout

Pretty printer of defprog, just for debugging.

Indicates if the state of the program at its termination must be printed

print_version i Prints version of program with information i.

Process n-tuples in a list, each one with operation and argument, applies changes to file tseq

Process n-tupls in a list, each one with operation and argument, applies changes to file tcla

Amount of progresses registered

Progress data structure

Prolog for program to interpret

random_perm_list l Permutes randomly a list

read_cla ss ... Reads words referenced in classifications of cla.

read_def ss ... Reads words fo a definitions file

read_sec ss ... Reads words referenced in classification referenced in the sequences in ss

receiveAnswer interf Receives an answer ans from interface interf, and updates progress according to it.

Amount of referenced individuals.

Email where suggestions must be send.

remove_extspace s Removes spaces at beginning and end of s.

remove_refcla typseq idseq typcla idcla nseq tseq Removes from the markup tree tseq (extracted from file nseq) the reference to the classification idcla of type typcla, from sequence idseq of type typseq

rep_string s x y Replaces the ocurrences of the string x in s with y

Indicates if a question must be repeated

Value returned to OS.

Value returned to OS.

Value returned to OS

Amount of rights (it should be =1)

sec_to_htime s returns a string with time in seconds s converted to minutes with affix m, or is still in seconds if s is less or equal to 120

seq_of_tids ls li Locates in the list of sequences ls, the types and identification of li.

Amount of sequences (it should be >=1)

Indicates if warnings should be shown

mandb i receives information of a program in i and prints a reference entry for DocBook

speccla returns spec for a default classification file

specdef tarch returns a spec for a definitions file that if not given transform tarch.

specformat returns spec for format of input file, option -f

spechier returns a spec for a hierarchy, options -j, -e

srefclassif_from_seq fname rsc hc forsec s adds the classification referenced in sequence s (in file with name fname) to the set rsc, and associates to the identification of the classification the sequence where it appears along with the format forsec in hc.

Extract words referenced in a classification.

Time measured at beginning of test

str_commprefix s1 s2 returns the common prefix of s1 and s2.

str_countchar c s returns the amount of times that the character c appears in s.

str_from s i returns the postfix of s with i letters.

str_isprefix s p decides if p is a prefix of s.

str_split2 s c splits the string s that contains the character c in two substrings, one before the separator c and the other after it

str_to s i returns the prefix of s with i letters.

Indicates if order of types must be strictly checked.

To facilitate string parcing

string_of_binaryop b pretty prints binary operator b

string_of_unarycond u pretty prints unary boolean operator b

string_of_binrel b pretty prints binary relation b

string_of_cond c pretty prints condition c

string_of_expr e Pretty prints expression e

string_of_mem m pretty prints variable or array m

string_of_stmts ind deltaind s Pretty prints list of statement s, beginning indentation in column ind (normally pass 0), and incrementing it by deltaind in each inner block

string_of_texpr t Returns a string with the type of t

string_of_typval v pretty prints value v

string_of_unarycond b pretty prints unary boolean operator b

string_of_unaryop u pretty prints unary operator u

test_equal_answer heur w ans tests if the answer ans is equal to the word w by using the heuristics heur.

tex2txt s Translates s from a subset of TeX to text.

texinfo2txt s Translates a string from a subset of Texinfo to simple text.

tintseq_of_seq s Converts the sequence s to a tintseq, that can be used from an interface

Amount of words available

trim s Removes double space inside s as well as spaces at beginning and end.

txt2tex s Translates the string s with pure text to plain TeX

type_leq t1 t2 decides if t1 is less or equal to t2

warn indicates if warnings should be printed for variables withouth type

typeof_typval pos texp v checks type of value v, confirms its compatibility with texp and returns it.

Takes type and id from Tintseq

unescape_str s Translate escape sequences in the string s to their corresponding character.

update_meaning fname fordef fdef hw sw updates meaning of the words appearing in sw with information of file with definitions fdef (name fname).

Updates markup tree with progress whit information for one word, procesed today.

valSome o returns the value of the option o.

valcond pos state c returns the boolean value of the condition e that appears in position pos, when it is evaluated in state state

valexpr pos state e evaluates the expression e thata appears in position pos in the state state

Amount of referenced words

Amount of words (it should be >=1)

Amount of referenced words.

Indicates if time should be used

xml2txt s substitutes in the xml string s some common entities

xmlstr_from_str s translates the string s to an XML PCDATA