[−][src]Crate aces
Re-exports
pub use node::NodeID; |
Modules
cli | |
monomial | |
node | |
sat |
Structs
CES | A single c-e structure. |
Context | A representation of shared state. |
InContext | A short-term binding of |
InContextMut | A short-term binding of |
Link | |
LinkID | An identifier of a |
Logger | |
Monomials | An iterator yielding monomials of a |
PartialContent | |
Polynomial | A formal polynomial. |
Port | |
PortID | An identifier of a |
Enums
AcesError | |
ContentOrigin |
Traits
Atomic | A trait of an identifier convertible into |
CompilableAsContent | |
Content | An abstraction over script formats: various ways c-e structures are described in text. |
Contextual | A trait for binding objects to |
Type Definitions
ContextHandle | A handle to a |