Examples of TruthMaintenanceSystem

org.drools.common.TruthMaintenanceSystem

The Truth Maintenance System is responsible for tracking two things. Firstly It maintains a Map to track the classes with the same Equality, using the EqualityKey. The EqualityKey has an internal datastructure which references all the handles which are equal. Secondly It maintains another map tracking the justificiations for logically asserted facts.

org.drools.core.common.TruthMaintenanceSystem

    }


    public static void writeTruthMaintenanceSystem(MarshallerWriteContext context,
                                                   SessionEntryPoint wmep,
                                                   ProtobufMessages.EntryPoint.Builder _epb) throws IOException {
        TruthMaintenanceSystem tms = ((NamedEntryPoint) wmep).getTruthMaintenanceSystem();
        ObjectHashMap justifiedMap = tms.getEqualityKeyMap();


        if ( !justifiedMap.isEmpty() ) {
            EqualityKey[] keys = new EqualityKey[justifiedMap.size()];
            org.drools.core.util.Iterator it = justifiedMap.iterator();
            int i = 0;

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.

Examples of TruthMaintenanceSystem

Examples of org.drools.core.common.TruthMaintenanceSystem