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)