EmbASP-Python v7.1.0
Public Member Functions | List of all members
specializations.dlv.dlv_filter_option.DLVFilterOption Class Reference
Inheritance diagram for specializations.dlv.dlv_filter_option.DLVFilterOption:
languages.asp.asp_filter_option.ASPFilterOption base.option_descriptor.OptionDescriptor

Public Member Functions

def __init__ (self, initial_option)
 
- Public Member Functions inherited from languages.asp.asp_filter_option.ASPFilterOption
def __init__ (self)
 
- Public Member Functions inherited from base.option_descriptor.OptionDescriptor
def add_option (self, option)
 
def clear (self)
 
def get_options (self)
 
def get_separator (self)
 
def set_options (self, option)
 
def set_separator (self, separator)
 

Detailed Description

Represents a filter option that can be added to a DLV
execution, for filtering output generated by the solver.

Constructor & Destructor Documentation

◆ __init__()

def specializations.dlv.dlv_filter_option.DLVFilterOption.__init__ (   self,
  initial_option 
)

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