diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-07 17:55:34 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-07 17:55:34 +0200 |
| commit | 3bc39ecf2eb168e1124bb123b9df0a8b933e6955 (patch) | |
| tree | f92491ab1d0158a95ea831210f32f6c328464601 /src/main/scala/rsacomb/RSA.scala | |
| parent | d085aeae07a729467047aba50b22e9baa7a4d10f (diff) | |
| download | RSAComb-3bc39ecf2eb168e1124bb123b9df0a8b933e6955.tar.gz RSAComb-3bc39ecf2eb168e1124bb123b9df0a8b933e6955.zip | |
Introduce naive fresh variable generator
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
| -rw-r--r-- | src/main/scala/rsacomb/RSA.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala index c0d4e51..edd3758 100644 --- a/src/main/scala/rsacomb/RSA.scala +++ b/src/main/scala/rsacomb/RSA.scala | |||
| @@ -30,6 +30,14 @@ object RSA extends RSAOntology { | |||
| 30 | Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#") | 30 | Prefixes.declarePrefix("rdfs:", "http://www.w3.org/2000/01/rdf-schema#") |
| 31 | Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#") | 31 | Prefixes.declarePrefix("owl:", "http://www.w3.org/2002/07/owl#") |
| 32 | 32 | ||
| 33 | // Counter used to implement a simple fresh variable generator | ||
| 34 | private var counter = -1; | ||
| 35 | |||
| 36 | def getFreshVariable(): Variable = { | ||
| 37 | counter += 1 | ||
| 38 | Variable.create(f"I$counter%03d") | ||
| 39 | } | ||
| 40 | |||
| 33 | val varX = Variable.create("X") | 41 | val varX = Variable.create("X") |
| 34 | val varY = Variable.create("Y") | 42 | val varY = Variable.create("Y") |
| 35 | val varZ = Variable.create("Z") | 43 | val varZ = Variable.create("Z") |