blob: 7b332b831b66cde7c2d68dbac5ae8fda502d2119 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// SPDX-License-Identifier: Apache-2.0
// Author: Kevin Laeufer <laeufer@cs.berkeley.edu>
package firrtl.backends.experimental.smt
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
|
