Tree - rpms/cvc4 - src.fedoraproject.org

Blob History Raw

		7e5614b	`--- src/theory/datatypes/kinds.orig 2017-06-23 15:54:52.988063375 -0600`
		7e5614b	`+++ src/theory/datatypes/kinds 2017-07-15 20:30:31.268986539 -0600`
		7e5614b	`@@ -108,4 +108,22 @@ typerule DT_SIZE ::CVC4::theory::datatyp`
		7e5614b	`operator DT_HEIGHT_BOUND 2 "datatypes height bound"`
		7e5614b	`typerule DT_HEIGHT_BOUND ::CVC4::theory::datatypes::DtHeightBoundTypeRule`
		7e5614b
		7e5614b	`+constant TUPLE_SELECT_OP \`
		7e5614b	`+ ::CVC4::TupleSelect \`
		7e5614b	`+ ::CVC4::TupleSelectHashFunction \`
		7e5614b	`+ "util/tuple.h" \`
		7e5614b	`+ "operator for a tuple select"`
		7e5614b	`+`
		7e5614b	`+constant RECORD_OP \`
		7e5614b	`+ ::CVC4::Record \`
		7e5614b	`+ ::CVC4::RecordHashFunction \`
		7e5614b	`+ "expr/record.h" \`
		7e5614b	`+ "operator for a record"`
		7e5614b	`+`
		7e5614b	`+constant RECORD_SELECT_OP \`
		7e5614b	`+ ::CVC4::RecordSelect \`
		7e5614b	`+ ::CVC4::RecordSelectHashFunction \`
		7e5614b	`+ "expr/record.h" \`
		7e5614b	`+ "operator for a record select"`
		7e5614b	`+`
		7e5614b	`endtheory`