Development mirror of Jussi Rintanen’s planner Madagascar https://research.ics.aalto.fi/software/sat/madagascar/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 

40 lines
585 B

/* 2012 (C) Jussi Rintanen, jrintanen.jr@gmail.com */
typedef struct _seq {
satinstance sati;
int restart;
int callsleft;
int effort;
} seq;
seq seqs[10000];
void encoding();
typedef struct _CEstruct {
int var;
fma *condition;
char disjunctive;
struct _CEstruct *next;
} CEstruct;
CEstruct **CEs;
typedef struct _compactCEstruct {
int var;
fma *condition;
char disjunctive;
} compactCEstruct;
compactCEstruct **cCEs;
typedef struct _actvar {
int *effectlits;
int *conditionlits;
} actvar;
int maxactvars;
actvar *actvars;
int actaffects(int,int);