Packages

package root

Definition Classes: root

package inox

Core package of the Inox solving interface

Structure

The package is organized in the following subpackages:

inox.ast: Provides definitions for expressions, types and definitions, as well as operations on them inox.evaluators: Evaluators of Inox expressions inox.solvers: Interfaces to SMT-solvers inox.tip: Parsing and printing for TIP problems inox.transformers: Tree transformations for Inox expressions inox.utils: Utility methods

Definition Classes: root

package ast

Provides AST definitions for Inox.

The core language supported by Inox is defined in inox.ast.Expressions, inox.ast.Definitions and inox.ast.Types. The trait inox.ast.Trees provides all these definitions and one of the integral parts of a Program.

Definition Classes: inox

package evaluators

Definition Classes: inox

package solvers

Definition Classes: inox

package tip

Definition Classes: inox

package transformers

Definition Classes: inox

Collector

CollectorWithPC

ScopeSimplifier

SimplifierWithPC

Transformer

TransformerWithPC

package utils

Various utilities used throughout the Inox system

Definition Classes: inox

inox

transformers

package transformers

Ordering

Alphabetic

Visibility

Public
All

Type Members

trait Collector extends Transformer
A common trait for objects that collect something from expressions.
A common trait for objects that collect something from expressions. This trait is meant to be mixed in with a specific Transformer to attach collect functionality.
trait CollectorWithPC extends TransformerWithPC with Collector
A Collector that collects path conditions
trait ScopeSimplifier extends Transformer
Simplifies variable ids in scope
trait SimplifierWithPC extends TransformerWithPC
trait Transformer extends AnyRef
Common trait for expression transformers.
Common trait for expression transformers. Uses an abstract environment type.
trait TransformerWithPC extends Transformer
A Transformer which uses path conditions as environment

Value Members

object CollectorWithPC

Packages

Structure

transformers 

package transformers

Type Members

Value Members

Ungrouped

transformers