private var _dtos: HashSet[E]

poset :: POSetElement :: _dtos

Property definitions

poset $ POSetElement :: _dtos 
	private var dtos = new HashSet[E]
lib/poset/poset.nit:534,2--34
Nit tools. Version v0.8-3595-g3f58b4f.