Trait constructor

Trait(String name, Set<State> states, Set<Property> properties)

Implementation

Trait(this.name, this.states, this.properties);