option completion_syntactic_ac

Default: false

Enables special support for associative and commutative operators in Knuth-Bendix completion.

Keyword:

coequalize
eval
pi
import_jdbc_all
schema_literal
include
counit
unit_query
pi
colimit
sigma
typeside_literal
counit_query
sigma
import_jdbc_direct
query_literal
back
coeval
coproduct
unit
import_jdbc
constraints_literal
simple
instance_literal
toCoQuery
chase

Appears in:

KB