Aij-notions
AIJ notions used by ATJ.
ATJ is supported by AIJ.
Thus, ATJ uses some notions that are specific to AIJ.
Subtopics
- *aij-symbol-constants*
- AIJ's constants (i.e. static final fields)
for certain ACL2 symbols.
- Aij-nativep
- Recognize the ACL2 built-in functions natively implemented in AIJ.
- *aij-natives*
- List of built-in ACL2 functions natively implemented in AIJ.
- *aij-class-names*
- Names of the Java classes that form AIJ.
- *aij-package*
- Name of the Java package of AIJ.
- Aij-class-types
- ACL2 named constants for the AIJ class types.
- Aij-class-names
- ACL2 named constants for the AIJ class names.
