private fun dfroms: HashSet[E]

poset :: POSetElement :: dfroms

Property definitions

poset $ POSetElement :: dfroms 
	private var dfroms = new HashSet[E]
lib/poset/poset.nit:535,2--36
Nit tools. Version v0.8-3595-g3f58b4f.