EmbASP-Programmatic v7.1.0
Public Member Functions | List of all members
it.unical.mat.embasp.languages.datalog.DatalogInputProgram Class Reference
Inheritance diagram for it.unical.mat.embasp.languages.datalog.DatalogInputProgram:

Public Member Functions

 DatalogInputProgram ()
 
 DatalogInputProgram (object inputObj)
 
 DatalogInputProgram (string initial_program)
 
override void AddObjectInput (object inputObj)
 
override void AddObjectsInput (ISet< object > inputObjs)
 

Constructor & Destructor Documentation

◆ DatalogInputProgram() [1/3]

it.unical.mat.embasp.languages.datalog.DatalogInputProgram.DatalogInputProgram ( )
inline

◆ DatalogInputProgram() [2/3]

it.unical.mat.embasp.languages.datalog.DatalogInputProgram.DatalogInputProgram ( object  inputObj)
inline

◆ DatalogInputProgram() [3/3]

it.unical.mat.embasp.languages.datalog.DatalogInputProgram.DatalogInputProgram ( string  initial_program)
inline

Member Function Documentation

◆ AddObjectInput()

override void it.unical.mat.embasp.languages.datalog.DatalogInputProgram.AddObjectInput ( object  inputObj)

◆ AddObjectsInput()

override void it.unical.mat.embasp.languages.datalog.DatalogInputProgram.AddObjectsInput ( ISet< object >  inputObjs)
inline

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