TeDDy 4.1.0
Decision diagram library.
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Member Functions | List of all members
teddy::pla_file Class Reference

Representation of a PLA file. More...

#include <pla_file.hpp>

Classes

struct  pla_line
 Represents one line of a PLA file. More...
 

Public Member Functions

auto get_variable_count () const -> int32
 Returns number of variables in the file.
 
auto get_function_count () const -> int32
 Returns number of functions in the file.
 
auto get_line_count () const -> int64
 Returns number of lines in the file.
 
auto get_lines () const &-> std::vector< pla_line > const &
 Returns reference to a vector holding lines.
 
auto get_lines () &&-> std::vector< pla_line >
 Returns copy of a vector holding lines.
 
auto get_input_labels () const &-> std::vector< std::string > const &
 Returns reference to a vector holding labels of input variables.
 
auto get_input_labels () &&-> std::vector< std::string >
 Returns copy of a vector holding labels of input variables.
 
auto get_output_labels () const &-> std::vector< std::string > const &
 Return reference to a vector holding labels of functions.
 
auto get_output_labels () &&-> std::vector< std::string >
 Return copy of a vector holding labels of functions.
 

Static Public Member Functions

static auto load_file (std::string const &path) -> std::optional< pla_file >
 Loads PLA file from a file at given path.
 

Detailed Description

Representation of a PLA file.


Class Documentation

◆ teddy::pla_file::pla_line

struct teddy::pla_file::pla_line

Represents one line of a PLA file.

Class Members
bool_cube cube_
bool_cube fVals_

Member Function Documentation

◆ load_file()

auto teddy::pla_file::load_file ( std::string const &  path) -> std::optional<pla_file>
inlinestatic

Loads PLA file from a file at given path.

Parameters
pathPath to the file
Returns
Optional holding instance of pla_file or std::nullopt if the loading failed

◆ get_variable_count()

auto teddy::pla_file::get_variable_count ( ) const -> int32
inline

Returns number of variables in the file.

Returns
Number of variables

◆ get_function_count()

auto teddy::pla_file::get_function_count ( ) const -> int32
inline

Returns number of functions in the file.

Returns
Number of functions

◆ get_line_count()

auto teddy::pla_file::get_line_count ( ) const -> int64
inline

Returns number of lines in the file.

Does not count headers and comments, only lines containing cubes

Returns
Number of lines

◆ get_lines() [1/2]

auto teddy::pla_file::get_lines ( ) const & -> std::vector<pla_line> const&
inline

Returns reference to a vector holding lines.

Returns
Reference to a vector

◆ get_lines() [2/2]

auto teddy::pla_file::get_lines ( ) && -> std::vector<pla_line>
inline

Returns copy of a vector holding lines.

Returns
Copy of a vector

◆ get_input_labels() [1/2]

auto teddy::pla_file::get_input_labels ( ) const & -> std::vector<std::string> const&
inline

Returns reference to a vector holding labels of input variables.

Returns
Reference to a vector

◆ get_input_labels() [2/2]

auto teddy::pla_file::get_input_labels ( ) && -> std::vector<std::string>
inline

Returns copy of a vector holding labels of input variables.

Returns
Copy of a vector

◆ get_output_labels() [1/2]

auto teddy::pla_file::get_output_labels ( ) const & -> std::vector<std::string> const&
inline

Return reference to a vector holding labels of functions.

Returns
Reference to a vector

◆ get_output_labels() [2/2]

auto teddy::pla_file::get_output_labels ( ) && -> std::vector<std::string>
inline

Return copy of a vector holding labels of functions.

Returns
Copy a vector

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