The cDMN developer reference

This page details the reference for the cDMN solver.

In a nutshell, the solver consists of 5 elements:

• An Excel to numpy converter ( The cdmn_solver API reference).

• The glossary API reference, which contains all types and predicates.

• The interpret API reference.

• The table API reference, which represents a DMN+ table.

• The idply API reference, which translates DMN notation inside cells to IDP notation.

• The parse_xml API reference, a class to convert DMN XML into cDMN tables.

• The post_process API reference, functions used for post processing generated configurations.

Contents:

• The cdmn_solver API reference
• The DMN API reference
  • DMN
    • DMN.clear()
    • DMN.dependencies_of()
    • DMN.get_all_values()
    • DMN.get_certain_variables()
    • DMN.get_inputs()
    • DMN.get_intermediary()
    • DMN.get_outputs()
    • DMN.get_unknown_variables()
    • DMN.get_variable_names()
    • DMN.idp
    • DMN.is_certain()
    • DMN.maximize()
    • DMN.minimize()
    • DMN.missing_for()
    • DMN.model_expand()
    • DMN.possible_values_of()
    • DMN.propagate()
    • DMN.set_value()
    • DMN.specification
    • DMN.update_structure()
  • DMNError
  • NotSatisfiableError
  • Variable
• The glossary API reference
  • Glossary
    • Glossary.add_aux_var()
    • Glossary.contains()
    • Glossary.find_type()
    • Glossary.lookup()
    • Glossary.read_datatables()
    • Glossary.to_idp_voc()
    • Glossary.to_json_dicts()
  • Predicate
    • Predicate.arity
    • Predicate.from_string()
    • Predicate.interpret_name()
    • Predicate.is_function()
    • Predicate.is_relation()
    • Predicate.lookup()
    • Predicate.to_idp_struct()
    • Predicate.to_idp_voc()
  • Type
    • Type.basetype
    • Type.check_values()
    • Type.to_idp_struct()
    • Type.to_idp_voc()
    • Type.to_theory()
• The interpret API reference
  • PredicateInterpretation
    • PredicateInterpretation.type
    • PredicateInterpretation.value
  • Value
    • Value.check()
  • VariableInterpreter
    • VariableInterpreter.interpret_value()
• The table API reference
  • Table
    • Table.export()
    • Table.find_auxiliary()
    • Table.fstring
    • Table.variables_iq_oq()
  • is_singular_value()
  • is_variable_introducing()
  • typeiname()
  • variname()
• The table_operations API reference
  • create_dependency_graph()
  • create_display()
  • create_main()
  • create_struct()
  • create_theory()
  • create_voc()
  • explore()
  • fill_in_merged()
  • find_auxiliary_variables()
  • find_datatables()
  • find_execute_method()
  • find_first()
  • find_glossary()
  • find_glossary_table()
  • find_tables()
  • find_tables_by_hp()
  • find_tables_by_name()
  • get_dependencies()
  • identify_tables()
  • replace_with_error_check()
  • write_to_html()
  • write_to_latex()
• The idply API reference
  • Parser
    • Parser.p_compare()
    • Parser.p_domain_size()
    • Parser.p_dontcare()
    • Parser.p_dot()
    • Parser.p_eqlist()
    • Parser.p_eqnot()
    • Parser.p_eqnotlist()
    • Parser.p_expression_abs()
    • Parser.p_expression_binop()
    • Parser.p_expression_group()
    • Parser.p_expression_name()
    • Parser.p_expression_number()
    • Parser.p_expression_uminus()
    • Parser.p_lbound()
    • Parser.p_list()
    • Parser.p_no()
    • Parser.p_nrange()
    • Parser.p_prange()
    • Parser.p_quotes()
    • Parser.p_range()
    • Parser.p_rbound()
    • Parser.p_returnval()
    • Parser.p_rrange()
    • Parser.p_yes()
    • Parser.parse_val()
    • Parser.t_ID()
    • Parser.t_NUMBER()
    • Parser.t_newline()
• The parse_xml API reference
  • XMLparser
    • XMLparser.get_goal_variables()
    • XMLparser.get_table_dependencies()
    • XMLparser.get_tables()
• The post_process API reference
  • merge_definitions()