Ranked (ContractAutomataLib 1.0.2 API)

All Known Implementing Classes:

AbstractState, Automaton, BasicState, CALabel, Label, State
```
public interface Ranked
```
This interface is implemented by ranked elements. An element is ranked if it has a rank. An element of rank 1 represents a principal. For ranks greater than one, the corresponding element represents an ensemble of principals.

Author:

Davide Basile

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  Integer getRank()
  Returns the rank of this object

- Method Detail
  - getRank
```
Integer getRank()
```
    Returns the rank of this object
    
    Returns:
    
    the rank of this object