diff options
Diffstat (limited to 'stp/AST/ASTKind.kinds')
-rw-r--r-- | stp/AST/ASTKind.kinds | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/stp/AST/ASTKind.kinds b/stp/AST/ASTKind.kinds deleted file mode 100644 index 03112eb8..00000000 --- a/stp/AST/ASTKind.kinds +++ /dev/null @@ -1,71 +0,0 @@ -#Please refer LICENSE FILE in the home directory for licensing information -# name minkids maxkids cat1 cat2 ... -Categories: Term Form - -# Leaf nodes. -UNDEFINED 0 0 -SYMBOL 0 0 Term Form - -# These always produce terms -BVCONST 0 0 Term -BVNEG 1 1 Term -BVCONCAT 2 - Term -BVOR 1 - Term -BVAND 1 - Term -BVXOR 1 - Term -BVNAND 1 - Term -BVNOR 1 - Term -BVXNOR 1 - Term -BVEXTRACT 3 3 Term -BVLEFTSHIFT 3 3 Term -BVRIGHTSHIFT 3 3 Term -BVSRSHIFT 3 3 Term -BVVARSHIFT 3 3 Term -BVPLUS 1 - Term -BVSUB 2 2 Term -BVUMINUS 1 1 Term -BVMULTINVERSE 1 1 Term -BVMULT 1 - Term -BVDIV 2 2 Term -BVMOD 2 2 Term -SBVDIV 2 2 Term -SBVMOD 2 2 Term -BVSX 1 1 Term -BOOLVEC 0 - Term - -# Formula OR term, depending on context -ITE 3 3 Term Form - -# These produce formulas. -BVGETBIT 2 2 Form -BVLT 2 2 Form -BVLE 2 2 Form -BVGT 2 2 Form -BVGE 2 2 Form -BVSLT 2 2 Form -BVSLE 2 2 Form -BVSGT 2 2 Form -BVSGE 2 2 Form -EQ 2 2 Form -NEQ 2 2 Form -FALSE 0 0 Form -TRUE 0 0 Form -NOT 1 1 Form -AND 1 - Form -OR 1 - Form -NAND 1 - Form -NOR 1 - Form -XOR 1 - Form -IFF 1 - Form -IMPLIES 2 2 Form - -# array operations -READ 2 2 Term -WRITE 3 3 Term - -#Types: These kinds are used only in the API. Once processed inside -#the API, they are never used again in the system -ARRAY 0 0 -BITVECTOR 0 0 -BOOLEAN 0 0 - |