// OpenSTA, Static Timing Analyzer
// Copyright (c) 2025, Parallax Software, Inc.
// 
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
// 
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// 
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.
// 
// The origin of this software must not be misrepresented; you must not
// claim that you wrote the original software.
// 
// Altered source versions must be plainly marked as such, and must not be
// misrepresented as being the original software.
// 
// This notice may not be removed or altered from any source distribution.

#include "Sequential.hh"

#include "FuncExpr.hh"

namespace sta {

Sequential::Sequential(bool is_register,
                       FuncExpr *clock,
                       FuncExpr *data,
                       FuncExpr *clear,
                       FuncExpr *preset,
                       LogicValue clr_preset_out,
                       LogicValue clr_preset_out_inv,
                       LibertyPort *output,
                       LibertyPort *output_inv) :
  is_register_(is_register),
  clock_(clock),
  data_(data),
  clear_(clear),
  preset_(preset),
  clr_preset_out_(clr_preset_out),
  clr_preset_out_inv_(clr_preset_out_inv),
  output_(output),
  output_inv_(output_inv)
{
}

Sequential::Sequential(Sequential &&other) noexcept :
  is_register_(other.is_register_),
  clock_(other.clock_),
  data_(other.data_),
  clear_(other.clear_),
  preset_(other.preset_),
  clr_preset_out_(other.clr_preset_out_),
  clr_preset_out_inv_(other.clr_preset_out_inv_),
  output_(other.output_),
  output_inv_(other.output_inv_)
{
  other.clock_ = nullptr;
  other.data_ = nullptr;
  other.clear_ = nullptr;
  other.preset_ = nullptr;
}

Sequential &
Sequential::operator=(Sequential &&other) noexcept
{
  if (this != &other) {
    delete clock_;
    delete data_;
    delete clear_;
    delete preset_;
    is_register_ = other.is_register_;
    clock_ = other.clock_;
    data_ = other.data_;
    clear_ = other.clear_;
    preset_ = other.preset_;
    clr_preset_out_ = other.clr_preset_out_;
    clr_preset_out_inv_ = other.clr_preset_out_inv_;
    output_ = other.output_;
    output_inv_ = other.output_inv_;
    other.clock_ = nullptr;
    other.data_ = nullptr;
    other.clear_ = nullptr;
    other.preset_ = nullptr;
  }
  return *this;
}

Sequential::~Sequential()
{
  delete clock_;
  delete data_;
  delete clear_;
  delete preset_;
}

////////////////////////////////////////////////////////////////

Statetable::Statetable(LibertyPortSeq &input_ports,
                       LibertyPortSeq &internal_ports,
                       StatetableRows &table) :
  input_ports_(input_ports),
  internal_ports_(internal_ports),
  table_(table)
{
}

StatetableRow::StatetableRow(StateInputValues &input_values,
                             StateInternalValues &current_values,
                             StateInternalValues &next_values) :
  input_values_(input_values),
  current_values_(current_values),
  next_values_(next_values)
{
}

} // namespace