Package Contracts

Namespaces
package	Agents
package	Parameters
package	Predicates
package	Templates

Classes
class	Contract
class	ContractParameter
class	ContractPredicate
class	ContractSystem
interface	IContractParameterHost
class	TextGen

Enumerations
enum	BodyLocation { BodyLocation.Space = 0, BodyLocation.Surface = 1 }
enum	ParameterState : int { ParameterState.Incomplete, ParameterState.Complete, ParameterState.Failed }

Enumeration Type Documentation

enum Contracts.BodyLocation

Enumerator
Space
Surface

enum Contracts.ParameterState : int

Enumerator
Incomplete
Complete
Failed