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
  • Equal
  • Greater
  • GreaterEqual
  • Less
  • LessEqual
  • package Expression

    Contains arithmetic expressions

    Contains arithmetic expressions

    Definition Classes
    A
  • package Operator
    Definition Classes
    A

package Comparator

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

Value Members

  1. object Equal extends Comparator with Product with Serializable
  2. object Greater extends Comparator with Product with Serializable
  3. object GreaterEqual extends Comparator with Product with Serializable
  4. object Less extends Comparator with Product with Serializable
  5. object LessEqual extends Comparator with Product with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped