envgen
Class BEG

java.lang.Object
  |
  +--envgen.BEG

public class BEG

extends java.lang.Object

Sample of high-level methods to be used in main.

Field Summary

(package private) Assumptions	assumptions
(package private) java.util.List	assumptionsList
(package private) ICodeGenerator	codeGenerator
(package private) IGeneralizer	generalizer

Constructor Summary

BEG()

Method Summary

java.util.List	aquireAssumptions(java.util.List approaches)
void	genCode(Assumptions assumptions)
Assumptions	generalize(java.util.List assumptionsList)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

assumptions

Assumptions assumptions

assumptionsList

java.util.List assumptionsList

generalizer

IGeneralizer generalizer

codeGenerator

ICodeGenerator codeGenerator

Constructor Detail

BEG

public BEG()

Method Detail

aquireAssumptions

public java.util.List aquireAssumptions(java.util.List approaches)

generalize

public Assumptions generalize(java.util.List assumptionsList)

genCode

public void genCode(Assumptions assumptions)