From 92f731e51ca1a3c738d326af70773c7f85ea3629 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 16 Jul 2015 18:00:26 -0700 Subject: [PATCH] add java Optimize context Signed-off-by: Nikolaj Bjorner --- src/api/java/Context.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/api/java/Context.java b/src/api/java/Context.java index bec5da024..218b201ca 100644 --- a/src/api/java/Context.java +++ b/src/api/java/Context.java @@ -3671,6 +3671,7 @@ public class Context extends IDisposable private StatisticsDecRefQueue m_Statistics_DRQ = new StatisticsDecRefQueue(10); private TacticDecRefQueue m_Tactic_DRQ = new TacticDecRefQueue(10); private FixedpointDecRefQueue m_Fixedpoint_DRQ = new FixedpointDecRefQueue(10); + private OptimizeDecRefQueue m_Optimize_DRQ = new OptimizeDecRefQueue(10); public IDecRefQueue getASTDRQ() { @@ -3747,6 +3748,11 @@ public class Context extends IDisposable return m_Fixedpoint_DRQ; } + public IDecRefQueue getOptimizeDRQ() + { + return m_Optimize_DRQ; + } + protected long m_refCount = 0; /**