138 lines
2.7 KiB
C++
138 lines
2.7 KiB
C++
// Copyright (C) 2006, Ondra Kamenik
|
|
|
|
// $Id: static_atoms.cpp 1360 2007-07-10 11:44:20Z kamenik $
|
|
|
|
#include "static_atoms.hh"
|
|
#include "utils/cc/exception.hh"
|
|
|
|
using namespace ogp;
|
|
|
|
StaticAtoms::StaticAtoms(const StaticAtoms &a)
|
|
: Atoms(), Constants(a), varnames(a.varnames),
|
|
varorder(), vars(), indices()
|
|
{
|
|
// fill varorder
|
|
for (auto i : a.varorder)
|
|
{
|
|
const char *s = varnames.query(i);
|
|
varorder.push_back(s);
|
|
}
|
|
|
|
// fill vars
|
|
for (auto var : a.vars)
|
|
{
|
|
const char *s = varnames.query(var.first);
|
|
vars.insert(Tvarmap::value_type(s, var.second));
|
|
}
|
|
|
|
// fill indices
|
|
for (auto indice : a.indices)
|
|
{
|
|
const char *s = varnames.query(indice.second);
|
|
indices.insert(Tinvmap::value_type(indice.first, s));
|
|
}
|
|
}
|
|
|
|
void
|
|
StaticAtoms::import_atoms(const DynamicAtoms &da, OperationTree &otree, Tintintmap &tmap)
|
|
{
|
|
Constants::import_constants(da, otree, tmap);
|
|
|
|
for (int i = 0; i < da.get_name_storage().num(); i++)
|
|
{
|
|
const char *name = da.get_name_storage().get_name(i);
|
|
register_name(name);
|
|
int tnew = otree.add_nulary();
|
|
assign(name, tnew);
|
|
if (da.is_referenced(name))
|
|
{
|
|
const DynamicAtoms::Tlagmap &lmap = da.lagmap(name);
|
|
for (auto it : lmap)
|
|
{
|
|
int told = it.second;
|
|
tmap.insert(Tintintmap::value_type(told, tnew));
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
int
|
|
StaticAtoms::check(const char *name) const
|
|
{
|
|
if (DynamicAtoms::is_string_constant(name))
|
|
{
|
|
return Constants::check(name);
|
|
}
|
|
else
|
|
{
|
|
return check_variable(name);
|
|
}
|
|
}
|
|
|
|
int
|
|
StaticAtoms::index(const char *name) const
|
|
{
|
|
auto it = vars.find(name);
|
|
if (it == vars.end())
|
|
return -1;
|
|
else
|
|
return (*it).second;
|
|
}
|
|
|
|
const char *
|
|
StaticAtoms::inv_index(int t) const
|
|
{
|
|
auto it = indices.find(t);
|
|
if (it == indices.end())
|
|
return NULL;
|
|
else
|
|
return (*it).second;
|
|
}
|
|
|
|
void
|
|
StaticAtoms::assign(const char *name, int t)
|
|
{
|
|
if (DynamicAtoms::is_string_constant(name))
|
|
{
|
|
double val;
|
|
sscanf(name, "%lf", &val);
|
|
add_constant(t, val);
|
|
}
|
|
else
|
|
{
|
|
const char *ss = varnames.insert(name);
|
|
vars.insert(Tvarmap::value_type(ss, t));
|
|
indices.insert(Tinvmap::value_type(t, ss));
|
|
}
|
|
}
|
|
|
|
vector<int>
|
|
StaticAtoms::variables() const
|
|
{
|
|
vector<int> res;
|
|
for (auto var : vars)
|
|
{
|
|
res.push_back(var.second);
|
|
}
|
|
return res;
|
|
}
|
|
|
|
void
|
|
StaticAtoms::register_name(const char *name)
|
|
{
|
|
const char *ss = varnames.insert(name);
|
|
varorder.push_back(ss);
|
|
}
|
|
|
|
void
|
|
StaticAtoms::print() const
|
|
{
|
|
printf("constants:\n");
|
|
Constants::print();
|
|
printf("variable names:\n");
|
|
varnames.print();
|
|
printf("map to tree indices:\n");
|
|
for (auto var : vars)
|
|
printf("%s\t->\t%d\n", var.first, var.second);
|
|
}
|