module lang::smtlib2::theory::ints::Ast

rascal-0.40.16

Synopsis: AST for the SMTLIBv2 Ints theory.

Usage

import lang::smtlib2::theory::ints::Ast;

data Sort

data Sort  
     = \int()
     ;

data Expr

data Expr  
     = neg(Expr val)
     | sub(Expr lhs, Expr rhs)
     | add(Expr lhs, Expr rhs)
     | mul(Expr lhs, Expr rhs)
     | div(Expr lhs, Expr rhs)
     | \mod(Expr lhs, Expr rhs)
     | abs(Expr val)
     | lte(Expr lhs, Expr rhs)
     | lt (Expr lhs, Expr rhs)
     | gte(Expr lhs, Expr rhs)
     | gt (Expr lhs, Expr rhs)
     ;

data Literal

data Literal  
     = intVal(int i)
     ;