SPUR

latest

Contents:

Library API

SPUR

Docs »
Library API »
Typedef ClauseIndex
Edit on GitHub

Typedef ClauseIndex¶

Defined in File primitive_types.h

Typedef Documentation¶

typedef VariableIndex ClauseIndex¶: Identification number for clauses.

Next Previous

© Copyright 2019, Zayd Hammoudeh Revision a73711b9.

Built with Sphinx using a theme provided by Read the Docs.