Inheritance diagram for languages.datalog.datalog_input_program.DatalogInputProgram:
Public Member Functions | |
| def | __init__ (self) |
| def | add_object_input (self, input_obj) |
| def | add_objects_input (self, input_objs) |
 Public Member Functions inherited from base.input_program.InputProgram | |
| def | add_files_path (self, file_path) |
| def | add_program (self, new_instruction) |
| def | clear_files_paths (self) |
| def | clear_programs (self) |
| def | clear_all (self) |
| def | get_files_paths (self) |
| def | get_programs (self) |
| def | get_separator (self) |
| def | get_string_of_files_paths (self) |
| def | set_programs (self, programs) |
| def | set_separator (self, separator) |
Detailed Description
This class models a generic Datalog input program.
It provides the user with the possibility to add a fact to the program in the form of an annotated object.
Constructor & Destructor Documentation
◆ __init__()
| def languages.datalog.datalog_input_program.DatalogInputProgram.__init__ | ( | self | ) |
Creates new programs setting space as default separator.
Reimplemented from base.input_program.InputProgram.
Member Function Documentation
◆ add_object_input()
| def languages.datalog.datalog_input_program.DatalogInputProgram.add_object_input | ( | self, | |
| input_obj | |||
| ) |
Transforms a properly-annotated object into a program string (a fact) and appends it to current _programs. The parameter input_obj is an object to be transformed.
Reimplemented from base.input_program.InputProgram.
◆ add_objects_input()
| def languages.datalog.datalog_input_program.DatalogInputProgram.add_objects_input | ( | self, | |
| input_objs | |||
| ) |
Transforms a set of objects.
Reimplemented from base.input_program.InputProgram.
The documentation for this class was generated from the following file:
- embasp-theoretic/languages/datalog/datalog_input_program.py
