EmbASP-Python v7.1.0
Public Member Functions | List of all members
languages.datalog.datalog_input_program.DatalogInputProgram Class Reference
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,
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,
Transforms a set of objects.

Reimplemented from base.input_program.InputProgram.

The documentation for this class was generated from the following file: