org.bomba_lang.proto

Class GroundProgram

java.lang.Object

org.bomba_lang.proto.Program

org.bomba_lang.proto.GroundProgram

All Implemented Interfaces:

Validating

public class GroundProgram
extends Program

Constructor Summary

Constructors

Constructor and Description
GroundProgram(Program program)

Method Summary

Methods

Modifier and Type	Method and Description
Program	program()

Methods inherited from class org.bomba_lang.proto.Program

equals, findMismatchedArities, modelOf, rules, solve, solve, solve, toString, unsafeRuleVariablePairs

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundProgram

public GroundProgram(Program program)

Method Detail

program

public Program program()