blob: 21a64f98afed41eeae0772ebd800221983e375d7 (
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
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
|
