Fact Member List

This is the complete list of members for Fact, including all inherited members.

Fact(String p, int id)	Fact	[inline]
Fact(AtomicFormula prop, int id)	Fact	[inline]
getId()	Fact	[inline]
getLevel()	Fact	[inline]
id	Fact	[private]
level	Fact	[private]
serialVersionUID	Fact	[private, static]
setId(int id)	Fact	[inline]
setLevel(int level)	Fact	[inline]