root
API
Generated with
root/org.encalmo.utils/TermUtils

TermUtils

org.encalmo.utils.TermUtils
object TermUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TermUtils.type

Members list

Value members

Concrete methods

def isBooleanConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isByteConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isCharConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isDoubleConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isFloatConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isIntConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isLiteralConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isLongConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isNullConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isShortConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def isStringConstant(using cache: StatementsCache)(term: cache.quotes.reflect.Term): Boolean
def unwrap(using cache: StatementsCache)(term: cache.quotes.reflect.Term): cache.quotes.reflect.Term
Generated with