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 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala new file mode 100644 index 00000000..21a64f98 --- /dev/null +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTCommand.scala @@ -0,0 +1,12 @@ +// SPDX-License-Identifier: Apache-2.0 +// Author: Kevin Laeufer <laeufer@cs.berkeley.edu> + +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 |