Я хочу создать факт шаблона, который выглядит следующим образом:
; initial and final state of a single IF instance
(deftemplate InitialAndFinalState
(slot initial_state)
(multislot final_state)
)
с интерфейсом c ++, который я использую следующим образом:
void* ifs_template = EnvFindDeftemplate(clips_environment_,
"InitialAndFinalState");
void* ifs_fact = EnvCreateFact(clips_environment_, ifs_template);
if (ifs_fact != NULL) {
DATA_OBJECT field;
field.type = FACT_ADDRESS;
field.value =
addSpinWaveToClipsEnvironment(initial_state);
EnvPutFactSlot(clips_environment_, ifs_fact, "initial_state", &field);
void* multifield_ptr = EnvCreateMultifield(clips_environment_,
final_state.size());
for (unsigned int i = 0; i < final_state.size(); ++i) {
SetMFType(multifield_ptr, i + 1, FACT_ADDRESS);
SetMFValue(multifield_ptr, i + 1,
addSpinWaveToClipsEnvironment(final_state[i]));//);
}
DATA_OBJECT final_states;
SetDOBegin(final_states, 1);
SetDOEnd(final_states, final_state.size());
SetType(final_states, MULTIFIELD);
SetValue(final_states, multifield_ptr);
EnvPutFactSlot(clips_environment_, ifs_fact, "final_state", &final_states);
EnvAssert(clips_environment_, ifs_fact);
}
addSpinWaveToClipsEnviroment Функция добавит факт SpinWave или найдет существующий и вернет адрес факта.
void* DecayGenerator::addSpinWaveToClipsEnvironment(const SpinWave& spinwave) {
std::vector<std::pair<std::string, int> > spin_qn_name_value_pairs;
for (auto spin_like_qn = spinwave.spin_like_quantum_numbers_.begin();
spin_like_qn != spinwave.spin_like_quantum_numbers_.end();
++spin_like_qn) {
spin_qn_name_value_pairs.push_back(
std::make_pair(spin_like_qn->first,
addSpinQuantumNumberToClipsEnvironment(spin_like_qn->second)));
}
std::stringstream clips_query;
std::stringstream values_part;
values_part << "(explode$ \"";
clips_query << "(find-spinwave-fact-list (explode$ \"";
for (auto spin_like_qn = spin_qn_name_value_pairs.begin();
spin_like_qn != spin_qn_name_value_pairs.end(); ++spin_like_qn) {
clips_query << "\\\"" << spin_like_qn->first << "\\\" ";
values_part << spin_like_qn->second << " ";
}
for (auto int_like_qn = spinwave.integer_like_quantum_numbers_.begin();
int_like_qn != spinwave.integer_like_quantum_numbers_.end();
++int_like_qn) {
clips_query << "\\\"" << int_like_qn->first << "\\\" ";
values_part << int_like_qn->second << " ";
}
for (auto double_like_qn = spinwave.double_like_quantum_numbers_.begin();
double_like_qn != spinwave.double_like_quantum_numbers_.end();
++double_like_qn) {
clips_query << "\\\"" << double_like_qn->first << "\\\" ";
values_part << double_like_qn->second << " ";
}
values_part << "\")";
clips_query << "\") " << values_part.str() << ")";
DATA_OBJECT found_spin_waves_facts;
EnvEval(clips_environment_, clips_query.str().c_str(),
&found_spin_waves_facts);
void* spinwave_fact;
if (0 < GetDOLength(found_spin_waves_facts)) {
spinwave_fact = GetMFValue(GetValue(found_spin_waves_facts), 1);
}
else {
void* spinwave_template = EnvFindDeftemplate(clips_environment_,
"SpinWave");
// set the facts
spinwave_fact = EnvCreateFact(clips_environment_, spinwave_template);
if (spinwave_fact != NULL) {
unsigned int total_qn_count = spinwave.spin_like_quantum_numbers_.size()
+ spinwave.integer_like_quantum_numbers_.size()
+ spinwave.double_like_quantum_numbers_.size();
void* qn_names_ptr = EnvCreateMultifield(clips_environment_,
total_qn_count);
void* qn_values_ptr = EnvCreateMultifield(clips_environment_,
total_qn_count);
unsigned int counter(1);
for (auto spin_like_qn = spin_qn_name_value_pairs.begin();
spin_like_qn != spin_qn_name_value_pairs.end(); ++spin_like_qn) {
SetMFType(qn_names_ptr, counter, STRING);
SetMFValue(qn_names_ptr, counter,
EnvAddSymbol(clips_environment_, spin_like_qn->first.c_str()));
SetMFType(qn_values_ptr, counter, INTEGER);
SetMFValue(qn_values_ptr, counter,
EnvAddLong(clips_environment_, spin_like_qn->second));
++counter;
}
for (auto int_like_qn = spinwave.integer_like_quantum_numbers_.begin();
int_like_qn != spinwave.integer_like_quantum_numbers_.end();
++int_like_qn) {
SetMFType(qn_names_ptr, counter, STRING);
SetMFValue(qn_names_ptr, counter,
EnvAddSymbol(clips_environment_, int_like_qn->first.c_str()));
SetMFType(qn_values_ptr, counter, INTEGER);
SetMFValue(qn_values_ptr, counter,
EnvAddLong(clips_environment_, int_like_qn->second));
++counter;
}
for (auto double_like_qn = spinwave.double_like_quantum_numbers_.begin();
double_like_qn != spinwave.double_like_quantum_numbers_.end();
++double_like_qn) {
SetMFType(qn_names_ptr, counter, STRING);
SetMFValue(qn_names_ptr, counter,
EnvAddSymbol(clips_environment_, double_like_qn->first.c_str()));
SetMFType(qn_values_ptr, counter, INTEGER);
SetMFValue(qn_values_ptr, counter,
EnvAddLong(clips_environment_, double_like_qn->second));
++counter;
}
DATA_OBJECT qn_names;
DATA_OBJECT qn_values;
SetType(qn_names, MULTIFIELD);
SetValue(qn_names, qn_names_ptr);
SetDOBegin(qn_names, 1);
SetDOEnd(qn_names, total_qn_count);
SetType(qn_values, MULTIFIELD);
SetValue(qn_values, qn_values_ptr);
SetDOBegin(qn_values, 1);
SetDOEnd(qn_values, total_qn_count);
EnvPutFactSlot(clips_environment_, spinwave_fact, "quantum_number_names",
&qn_names);
EnvPutFactSlot(clips_environment_, spinwave_fact, "quantum_number_values",
&qn_values);
EnvAssignFactSlotDefaults(clips_environment_, spinwave_fact);
EnvAssert(clips_environment_, spinwave_fact);
}
}
return spinwave_fact;
}
Проблема в том, что переменная мультислота final_state корректно заполняется только в некоторых случаях, например, если у меня есть значения 1, 3, 4, 6, … внутри, но не 2 и 5! Когда я хочу поместить два внутри, то внутри мультислота есть только некоторое число с плавающей точкой, близкое к 0. Если я использую 5, то сбой при утверждении факта. Похоже, некоторые проблемы с выделением памяти для меня. Я отладил код C ++, и он передает функции EnvCreateMultifield правильное значение для размера. У меня действительно нет идеи, что могло вызвать это. Есть идеи?
Как отметил Гари в комментарии, оборачивая эту функцию
EnvIncrementGCLocks/EnvDecrementGCLocks
решает проблему.
Других решений пока нет …