import type { _NSArray } from "../Foundation/NSArray.js";
import type { _NSMutableDictionary } from "../Foundation/NSMutableDictionary.js";
import type { _NSObject } from "../Foundation/NSObject.js";
import type { _GKRule } from "./GKRule.js";
export declare class _GKRuleSystem extends _NSObject {
    static alloc(): _GKRuleSystem;
    static new(): _GKRuleSystem;
    /** Initializes a clean rule system with no state, rules or facts. */
    init(): _GKRuleSystem;
    /**
     * Explicitly evaluate the agenda of the rule system based on the current state and the current set of facts. This may in turn assert or retract more facts or change the state of the system, including activating more rules in the agenda.
     */
    evaluate(): void;
    /** Adds a rule to the system. Also adds it to the agenda in salience order. */
    addRule$(rule: _GKRule): void;
    /** Adds rules to the system. Also adds them to the agenda in salience order. */
    addRulesFromArray$(rules: _NSArray): void;
    /**
     * Removes all rules from the system. This also removes them from the agenda and executed sets.
     */
    removeAllRules(): void;
    /**
     * Returns the current membership grade for the given fact, which is 0.0 if the fact is not a member of the current set of facts. @return The membership grade of the given fact, in the range [0.0, 1.0].
     */
    gradeForFact$(fact: _NSObject): number;
    /**
     * Returns the combined membership grade for the all the given facts. This performs the logical AND operation between the given facts. @return The membership grade by applying the AND operator on the given facts, in the range [0.0, 1.0].
     */
    minimumGradeForFacts$(facts: _NSArray): number;
    /**
     * Returns the maximum membership grade for the any one of the given facts. This performs the logical OR operation between the given facts. @return The membership grade by applying the OR operator on the given facts, in the range [0.0, 1.0].
     */
    maximumGradeForFacts$(facts: _NSArray): number;
    /**
     * Asserts a fact with membership grade of 1.0. This will cause the current rules to be evaluated, which may in turn assert or retract more facts or change the state of the system. This is shorthand for calling assertFact:grade: with a grade of 1.0 @see assertFact:grade: @see evaluate @see NSObject.isEqual:
     */
    assertFact$(fact: _NSObject): void;
    /**
     * Asserts a fact with the supplied membership grade. This will cause the current rules to be evaluated, which may in turn assert or retract more facts or change the state of the system. @see evaluate
     */
    assertFact$grade$(fact: _NSObject, grade: number): void;
    /**
     * Retracts a fact, setting its membership grade to 0, which also removes it from the fact set. This will cause the current rules to be evaluated, which may in turn assert or retract more facts or change the state of the system. This is short hand for calling retractFact:grade: with a grade of 1.0 @see retractFact:grade: @see evaluate
     */
    retractFact$(fact: _NSObject): void;
    /**
     * Retracts a fact, reducing its membership grade by the supplied grade. If this brings the grade to 0 it is also removed from the fact set. This will cause the current rules to be evaluated, which may in turn assert or retract more facts or change the state of the system. @see evaluate
     */
    retractFact$grade$(fact: _NSObject, grade: number): void;
    /**
     * Clears the agenda and executed sets and removes all facts currently in the system. It then fills the agenda with rules from the rule set, in salience order. @see rules @see facts
     */
    reset(): void;
    /**
     * The implementation-defined state. If any changes are made on this outside the system you must call evaluate to have the system take account of the changes. @see evaluate
     */
    state(): _NSMutableDictionary;
    /**
     * The current set of rules that will be used to set the agenda when rules are first added to the system. They will also be used to refill the agenda whenever it is set. This is at all times the union of the agenda and executed sets. @see agenda @see executed
     */
    rules(): _NSArray;
    /**
     * The current set of rules to be evaluated, in salience order, where if the salience is equivalent the order of insertion into the agenda is used to decide which is first. Adjust salience of your rules to adjust the order the next time the agenda is reset. Changing salience on a rule currently in the agenda does not change its order in the agenda. This is at all times the difference between the rules and executed sets. @see rules @see executed @see reset
     */
    agenda(): _NSArray;
    /**
     * The current set of rules that have already executed. Rules in this set will not be executed again until the system is reset. This is at all times the difference between the rules and agenda sets. @see rules @see agenda @see reset
     */
    executed(): _NSArray;
    /**
     * The current set of facts. Facts have a grade of membership that is >= 0.0. Query the system for the individual grades of membership with gradeForFact: @see gradeForFact:
     */
    facts(): _NSArray;
}
