projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39dd4cf) | patch
sygus: Make CeSingleInv derive from EnvObj. (#7136)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 3 Sep 2021 16:54:41 +0000 (09:54 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 16:54:41 +0000 (16:54 +0000)
commitda047b41fa252cf8087d95c91688b9cdc3ba6114
treeace8b5dfce985d81a3d844de1a750e68e9739852tree
parent39dd4cf7678da7bbce2a0aaf4d9b44d3f885ea49commit | diff
sygus: Make CeSingleInv derive from EnvObj. (#7136)

This further reorders the header according to the code style guidelines.
src/theory/quantifiers/sygus/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_single_inv.h diff | blob | history