diff options
Diffstat (limited to 'src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala')
| -rw-r--r-- | src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala index 21a64f98..7b332b83 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala @@ -3,10 +3,10 @@ package firrtl.backends.experimental.smt -private sealed trait SMTCommand -private case class Comment(msg: String) extends SMTCommand -private case class SetLogic(logic: String) extends SMTCommand -private case class DefineFunction(name: String, args: Seq[SMTFunctionArg], e: SMTExpr) extends SMTCommand -private case class DeclareFunction(sym: SMTSymbol, args: Seq[SMTFunctionArg]) extends SMTCommand -private case class DeclareUninterpretedSort(name: String) extends SMTCommand -private case class DeclareUninterpretedSymbol(name: String, tpe: String) extends SMTCommand +sealed trait SMTCommand +case class Comment(msg: String) extends SMTCommand +case class SetLogic(logic: String) extends SMTCommand +case class DefineFunction(name: String, args: Seq[SMTFunctionArg], e: SMTExpr) extends SMTCommand +case class DeclareFunction(sym: SMTSymbol, args: Seq[SMTFunctionArg]) extends SMTCommand +case class DeclareUninterpretedSort(name: String) extends SMTCommand +case class DeclareUninterpretedSymbol(name: String, tpe: String) extends SMTCommand |