ap
.
util
.
Debug
ASSERTION_CATEGORY
Related Doc:
package Debug
abstract
class
ASSERTION_CATEGORY
extends
AnyRef
Categories of assertions, essentially the software unit that the assertion belongs to
Linear Supertypes
AnyRef
,
Any
Known Subclasses
AC_ADT
,
AC_ALGEBRA
,
AC_ALIAS_ANALYSER
,
AC_BASE_TYPE
,
AC_BLOCKED_FORMULAS_TASK
,
AC_CERTIFICATES
,
AC_CERTIFICATE_LINEARISER
,
AC_CLAUSE_MATCHER
,
AC_COMPLEX_FORMULAS_TASK
,
AC_COMPUTATION_LOGGER
,
AC_CONSTANT_FREEDOM
,
AC_CONSTRAINT_SIMPLIFIER
,
AC_ELIM_CONJUNCTS
,
AC_ELIM_FACTS_TASK
,
AC_ENVIRONMENT
,
AC_EQUATIONS
,
AC_FACTS_TASK
,
AC_GOAL
,
AC_INEQUALITIES
,
AC_INPUT_ABSY
,
AC_INTERPOLATION
,
AC_INTERPOLATION_IMPLICATION_CHECKS
,
AC_LINEAR_COMB
,
AC_MAIN
,
AC_MAP_UTILS
,
AC_MODEL_FINDER
,
AC_MODULO_ARITHMETIC
,
AC_NIA
,
AC_OMEGA
,
AC_PARAMETERS
,
AC_PARSER
,
AC_PLUGIN
,
AC_PO_GRAPH
,
AC_PREDICATES
,
AC_PRESBURGER_TOOLS
,
AC_PROOF_TREE
,
AC_PROPAGATION
,
AC_PROP_CONNECTIVES
,
AC_PROVER
,
AC_QUEUE_WITH_ITERATORS
,
AC_SEQ_UTILS
,
AC_SET_UTILS
,
AC_SIGNATURE
,
AC_SIMPLE_API
,
AC_SUBSTITUTIONS
,
AC_TERM_ORDER
,
AC_THEORY
,
AC_TYPES
,
AC_VARIABLES
,
AC_VAR_TYPES
Ordering
Alphabetic
By Inheritance
Inherited
ASSERTION_CATEGORY
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
ASSERTION_CATEGORY
()
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped
Categories of assertions, essentially the software unit that the assertion belongs to