DefaultTimes.cpp

Go to the documentation of this file.

#include <actasp/AspFluent.h>

#include "DefaultTimes.h"

#include <iostream>

using namespace actasp;

namespace bwi_krexec {
 
double DefaultTimes::value(const AspFluent& action) {
  
  if(action.getName() == "approach")
    return -1;
  
  return 0.;
}

  
}