ast.hpp

#pragma once
 
#ifndef __PERCEMON_AST_HPP__
#define __PERCEMON_AST_HPP__
 
#include "percemon/ast/functions.hpp"
#include "percemon/ast/primitives.hpp"
#include "percemon/ast/s4u.hpp"
#include "percemon/ast/tqtl.hpp"
 
#include <stdexcept>
 
namespace percemon {
// TODO(anand): Create functions that return the Node pointers.
using namespace ast::primitives;
using namespace ast::functions;
 
using ast::Expr;
using ast::Pin;
 
ast::PinPtr Pinned(Var_x x, Var_f f);
ast::PinPtr Pinned(Var_x x);
ast::PinPtr Pinned(Var_f f);
 
ast::ExistsPtr Exists(std::initializer_list<Var_id> id_list);
ast::ForallPtr Forall(std::initializer_list<Var_id> id_list);
 
ast::NotPtr Not(const Expr& arg);
ast::AndPtr And(const std::vector<Expr>& args);
ast::OrPtr Or(const std::vector<Expr>& args);
ast::PreviousPtr Previous(const Expr& arg);
ast::AlwaysPtr Always(const Expr& arg);
ast::SometimesPtr Sometimes(const Expr& arg);
ast::SincePtr Since(const Expr& a, const Expr& b);
ast::BackToPtr BackTo(const Expr& a, const Expr& b);
 
ast::AreaOf Area(Var_id id, double scale = 1.0);
ast::SpArea Area(const ast::SpatialExpr& expr, double scale = 1.0);
 
ast::SpExistsPtr SpExists(const ast::SpatialExpr&);
ast::SpForallPtr SpForall(const ast::SpatialExpr&);
ast::ComplementPtr Complement(const ast::SpatialExpr&);
ast::IntersectPtr Intersect(const std::vector<ast::SpatialExpr>&);
ast::UnionPtr Union(const std::vector<ast::SpatialExpr>&);
ast::InteriorPtr Interior(const ast::SpatialExpr&);
ast::ClosurePtr Closure(const ast::SpatialExpr&);
 
ast::SpPreviousPtr SpPrevious(const ast::SpatialExpr&);
 
ast::SpAlwaysPtr SpAlways(const ast::SpatialExpr&);
ast::SpAlwaysPtr SpAlways(const FrameInterval&, const ast::SpatialExpr&);
 
ast::SpSometimesPtr SpSometimes(const ast::SpatialExpr&);
ast::SpSometimesPtr SpSometimes(const FrameInterval&, const ast::SpatialExpr&);
 
ast::SpSincePtr SpSince(const ast::SpatialExpr&, const ast::SpatialExpr&);
ast::SpSincePtr
SpSince(const FrameInterval&, const ast::SpatialExpr&, const ast::SpatialExpr&);
 
ast::SpBackToPtr SpBackTo(const ast::SpatialExpr&, const ast::SpatialExpr&);
ast::SpBackToPtr
SpBackTo(const FrameInterval&, const ast::SpatialExpr&, const ast::SpatialExpr&);
 
} // namespace percemon
 
#endif /* end of include guard: __PERCEMON_AST_HPP__ */