Packages

  • package root
    Definition Classes
    root
  • package IVF

    This project is built over the following components

    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

    Contains models necessary to run tests

    Definition Classes
    IVF
  • package AST

    Contains abstract syntax tree definitions

    Contains abstract syntax tree definitions

    Definition Classes
    Model
    See also

    IVF.Model.AST

  • package A

    Contains arithmetic expression ASTs and Operators

    Contains arithmetic expression ASTs and Operators

    Definition Classes
    AST
    See also

    IVF.Model.AST.A.Expression

  • package Comparator
    Definition Classes
    A
  • package Expression

    Contains arithmetic expressions

    Contains arithmetic expressions

    Definition Classes
    A
  • package Operator
    Definition Classes
    A
  • Binary
  • Div
  • Mul
  • Plus
  • Sub
  • Unary
p

IVF.Model.AST.A

Operator

package Operator

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Operator
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Binary extends AnyRef
  2. sealed trait Unary extends AnyRef

Value Members

  1. object Div extends Binary with Product with Serializable
  2. object Mul extends Binary with Product with Serializable
  3. object Plus extends Binary with Unary with Product with Serializable
  4. object Sub extends Binary with Unary with Product with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped