Package net.sf.tweety.logics.commons

Class Summary

Class	Description
LogicalSymbols	This class provides some String constants for logical symbols and allows to modify them at runtime.