# Package net.corda.core.contracts.clauses

- Class Summary
  Class | Description
  --- | ---
  AllComposition<S extends ContractState,C extends CommandData,K> | Deprecated
  AllOf<S extends ContractState,C extends CommandData,K> | Compose a number of clauses, such that all of the clauses must run for verification to pass.
  AnyComposition<S extends ContractState,C extends CommandData,K> | Deprecated
  AnyOf<S extends ContractState,C extends CommandData,K> | Compose a number of clauses, such that one or more of the clauses can run.
  Clause<S extends ContractState,C extends CommandData,K> | A clause of a contract, containing a chunk of verification logic. That logic may be delegated to other clauses, or provided directly by this clause.
  ClauseKt |
  ClauseVerifier |
  CompositeClause<S extends ContractState,C extends CommandData,K> | Abstract supertype for clauses which compose other clauses together in some logical manner.
  FilterOn<S extends ContractState,C extends CommandData,K> | Filter the states that are passed through to the wrapped clause, to restrict them to a specific type.
  FirstComposition<S extends ContractState,C extends CommandData,K> | Deprecated
  FirstOf<S extends ContractState,C extends CommandData,K> | Compose a number of clauses, such that the first match is run, and it errors if none is run.
  GroupClauseVerifier<S extends ContractState,C extends CommandData,K> |