The table API reference¶
Copyright 2020 Simon Vandevelde, Bram Aerts, Joost Vennekens This code is licensed under GNU GPLv3 license (see LICENSE) for more information. This file is part of the cDMN solver.
-
class
table.
Table
(array: <sphinx.ext.autodoc.importer._MockObject object at 0x7f0ecc25f460>, parser: <sphinx.ext.autodoc.importer._MockObject object at 0x7f0eccd11d90>)[source]¶ The table object represents decision and constraint tables.
Attr name: str Attr hit_policy: str Attr inputs: List[np.array] Attr outputs: List[np.array] Attr rules: List[np.array] -
export
()[source]¶ Export tries to find the hit policy for a table, and then returns the method needed to transfer the table to idp form. These hit policies are currently:
- A, U, F -> translate to definitions;
- E* -> translate to implications;
- C+, C<, C>, C# -> translate to aggregates.
Every hit policy has its own method.
Returns method: the output of export method for the table.
-
find_auxiliary
() → List[str][source]¶ Every output in a C# table needs to use an auxiliary variable to work correctly. This method makes a list of those output variables, so that the auxiliary versions can be created.
Returns List[str]:
-
fstring
¶ Method to decide the string format for a certain hit policy.
Returns str: the format string.
-