Class | Description |
---|---|
ExecutableReasoner |
An abstract superclass for reasoners implemented as command-line executables.
|
Reasoner |
An oprimizer to minimize the total weighted incompatibility
of the terms provided by a TermStore.
|
Enum | Description |
---|---|
InitialValue |
An enum that represents the initial value a variable should take.
|
Copyright © 2020 University of California, Santa Cruz. All rights reserved.