GoalProver (API documentation of hlt.language packages)
Date: 2013-01-30

hlt.language.design.types

## Interface GoalProver

- All Known Implementing Classes:
    TypeChecker

      public interface GoalProver

  Version:
    Last modified on Wed Jun 20 14:29:51 2012 by hak
  Author:
    Hassan Aït-Kaci
  Copyright:
    © by the author

- - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `void` | `prove(Goal goal)`
    `void` | `trail(Bindable bindable)`
    `void` | `trail(Goal goal)`

- - ### Method Detail

    - #### trail

          void trail(Bindable bindable)

    - #### trail

          void trail(Goal goal)

    - #### prove

          void prove(Goal goal)