From 9b9ce0c3123d70b9e839084aade4f37eb08e328d Mon Sep 17 00:00:00 2001 From: "Benjamin J. Culkin" Date: Mon, 4 Jun 2018 21:13:50 -0300 Subject: Rule variables pt. 1 Add the capability to store regular/exhaustible rule variables --- src/main/java/bjc/rgens/parser/Rule.java | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'src/main/java/bjc/rgens/parser/Rule.java') diff --git a/src/main/java/bjc/rgens/parser/Rule.java b/src/main/java/bjc/rgens/parser/Rule.java index 3e7d884..b5a87c3 100755 --- a/src/main/java/bjc/rgens/parser/Rule.java +++ b/src/main/java/bjc/rgens/parser/Rule.java @@ -199,4 +199,24 @@ public class Rule { public void endRecur() { if(currentRecur > 0) currentRecur -= 1; } + + public Rule exhaust() { + Rule rl = new Rule(name); + + rl.cases = cases.exhaustible(); + + rl.prob = prob; + + rl.descentFactor = descentFactor; + + rl.target = target; + rl.bound = bound; + rl.trials = trials; + + rl.recurLimit = recurLimit; + /* @NOTE Is this the right thing to do? */ + rl.currentRecur = 0; + + return rl; + } } -- cgit v1.2.3