Util
- trident.util.lm_to_ascii(lm: LogicalModel) str
- class trident.util.AsciiTable
Bases:
objectA simple helper class for printing a ascii table
Text and arrays are left aligned, whereas number are right aligned.
- __init__() None
- add_field_names(field_names: List[str]) None
Specifies the title of the columns
- add_row(row: [Union[str, int, float, List]]) None
Adds a row
Note that the number of entries in the row must be the same, and same order as the field_names.
- print() str
Prints the table to stdout