Packages

package root

Definition Classes: root

package IVF

This project is built over the following components

IVF.Model : contains abstract syntax trees and control flow graphs, enables to execute code
IVF.Criterion : defines criterion and coverage, useful to test a given program on predefined states set with a criterion
IVF.TestGenerator : enables to generate automatically tests from criteria

Definition Classes: root

package Model

Contains models necessary to run tests

IVF.Model.AST contains abstract syntax trees
IVF.Model.CFG contains control flow graphs
IVF.Model.State models a state (valuation for algorithm)

Definition Classes: IVF

package AST

Contains abstract syntax tree definitions

Definition Classes: Model
See also: IVF.Model.AST

package A

Contains arithmetic expression ASTs and Operators

Definition Classes: AST
See also: IVF.Model.AST.A.Expression

package Comparator

package Expression

Contains arithmetic expressions

package Operator

Comparator

Expression

package B

Contains binary expression ASTs and Operators

Definition Classes: AST
See also: IVF.Model.AST.B.Expression

IVF.Model.AST

A

package A

Contains arithmetic expression ASTs and Operators

See also: IVF.Model.AST.A.Expression

Linear Supertypes

AnyRef, Any

Type Members

trait Comparator extends AnyRef
A base trait for comparator case objects
abstract class Expression extends AST
Base class for arithmetic expression
Base class for arithmetic expression

See also
IVF.Model.AST.A.Expression.Unary
IVF.Model.AST.A.Expression.Binary
IVF.Model.AST.A.Expression.Value
IVF.Model.AST.A.Expression.Variable

Packages

A

package A

Type Members

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

A 

package A

Type Members

Inherited from AnyRef

Inherited from Any

Ungrouped

A