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