menu
anteater package
documentation
reasoner/datalog/datalog_engine.dart
AllocRule
AllocRule.new constructor
AllocRule.new constructor
dark_mode
light_mode
AllocRule
constructor
AllocRule
(
)
Implementation
AllocRule() : super('VarPointsTo');
anteater package
documentation
reasoner/datalog/datalog_engine
AllocRule
AllocRule.new constructor
AllocRule class