src/sim/simSim.c

Go to the documentation of this file.

#include "simInt.h"

static char rcsid[] UNUSED = "$Id: simSim.c,v 1.2 1997/02/12 23:03:57 hsv Exp $";

/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Static function prototypes                                                */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Definition of exported functions                                          */
/*---------------------------------------------------------------------------*/

Ntk_Network_t *
Sim_SimReadNetwork(
  Sim_Sim_t * sim)
{
  return (sim->network);
}
st_table *
Sim_SimReadNodeToMvfTable(
  Sim_Sim_t * sim)
{
  return (sim->nodeToMvfTable);
}
char *
Sim_SimReadInputFile(
  Sim_Sim_t * sim)
{
  return (sim->inputFile);
}

int
Sim_SimReadLineNumber(
  Sim_Sim_t * sim)
{
  return (sim->lineNumber);
}

array_t *
Sim_SimReadNodesArray(
  Sim_Sim_t * sim)
{
  return (sim->nodesArray);
}

int
Sim_SimReadCurrentStateHead(
  Sim_Sim_t * sim)
{
  return (sim->currentStateHead);
}

int
Sim_SimReadNextStateHead(
  Sim_Sim_t * sim)
{
  return (sim->nextStateHead);
}

int
Sim_SimReadOutputHead(
  Sim_Sim_t * sim)
{
  return (sim->outputHead);
}

array_t *
Sim_SimReadInitState(
  Sim_Sim_t * sim)
{
  return (sim->initState);
}

array_t *
Sim_SimReadVectorArray(
  Sim_Sim_t * sim)
{
  return (sim->vectorArray);
}

boolean
Sim_SimTestIsVerbose(
  Sim_Sim_t * sim)
{
  return (sim->verbose);
}