#include <alice/alice.hpp>
#include <algorithm>
#include <iostream>
#include <string>
namespace alice
{
ALICE_ADD_STORE(std::string, "str", "s", "String", "Strings")
ALICE_PRINT_STORE(std::string, os, element)
{
os << element << std::endl;
}
ALICE_COMMAND(hello, "Generation", "adds a welcome string to the store")
{
auto& strings = store<std::string>();
strings.extend() = "hello world";
}
ALICE_COMMAND(upper, "Manipulation", "changes string to upper bound")
{
auto& str = store<std::string>().current();
std::transform( str.begin(), str.end(), str.begin(), ::toupper );
}
}
ALICE_MAIN(demo)
After compiling we obtain a shell program with commands that allow us to do the following:
demo> hello
demo> print -s
hello world
demo> hello
demo> upper
demo> print -s
HELLO WORLD
demo> current -s 0
demo> print -s
hello world
demo> quit
We can use the very same code to compile it into a Python library instead of an executable, allowing us to call the commands as Python methods. For example:
import demo
demo.hello()
demo.upper()
demo.print(str = True)
alice is part of the EPFL logic synthesis libraries. The other libraries and several examples on how to use and integrate the libraries can be found in the logic synthesis tool showcase.