mirror of
https://github.com/RAIRLab/Spectra.git
synced 2024-11-09 11:10:34 -05:00
30 lines
568 B
Python
30 lines
568 B
Python
|
from py4j.java_gateway import JavaGateway
|
||
|
|
|
||
|
|
gateway = None
|
||
|
|
|
||
|
|
def start():
|
||
|
|
global gateway
|
||
|
|
if not (gateway):
|
||
|
|
gateway = JavaGateway()
|
||
|
|
|
||
|
|
def stop():
|
||
|
|
global gateway
|
||
|
|
gateway = None
|
||
|
|
|
||
|
|
def plan_from_description(description):
|
||
|
|
global gateway
|
||
|
|
if not gateway:
|
||
|
|
start()
|
||
|
|
return gateway.proveFromDescription(description)
|
||
|
|
|
||
|
|
def prove(assumptions, goal):
|
||
|
|
|
||
|
|
global gateway
|
||
|
|
if not gateway:
|
||
|
|
start()
|
||
|
|
|
||
|
|
lst = gateway.newEmptyList()
|
||
|
|
for assumption in assumptions:
|
||
|
|
lst.append(assumption)
|
||
|
|
|
||
|
|
return gateway.prove(lst, goal)
|