API Reference

Page	Contents
Functions	compile_logic, logic_to_loss, consistency_report
CompiledExpression	Per-batch evaluation, partial binding
LogicLoss	Satisfaction, loss, batch quantification
CombinedLoss	Weighting and summing independent LogicLoss objects
T-Norms	RProduct, SProduct, Lukasiewicz, Godel, Mixed
Compilers	TNormCompiler, LinearThresholdUnitCompiler