Public Member Functions | |
__construct () | |
insert_class ($name, $col_attrs=[]) | |
insert_subclassof ($child, $father) | |
insert_header () | |
insert_footer () | |
Queries | |
insert_satisfiable () | |
insert_satisfiable_class ($classname) | |
Public Member Functions inherited from DocumentBuilder | |
insert_class ($name, $col_attrs=[]) | |
insert_owllink ($text) | |
insert_footer () | |
translate_DL ($DL_list) | |
Public Member Functions inherited from Documents | |
get_product () | |
DL List | |
translate_DL ($DL_list) | |
translate_DL_internal ($DL_list) | |
DL_element ($elt) | |
Additional Inherited Members | |
Protected Member Functions inherited from DocumentBuilder | |
DL_element ($elt) | |
Protected Attributes inherited from DocumentBuilder | |
$product = null | |
__construct | ( | ) |
|
protected |
insert_class | ( | $name, | |
$col_attrs = [] |
|||
) |
insert_footer | ( | ) |
insert_header | ( | ) |
insert_satisfiable | ( | ) |
insert_satisfiable_class | ( | $classname | ) |
insert_subclassof | ( | $child, | |
$father | |||
) |
translate_DL | ( | $DL_list | ) |
|
protected |