blob: e511a961cc8227db7e46a2cb7adde260b4f3bac8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.formulacanonization
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Assertion
import java.util.Map
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition
import org.eclipse.xtend.lib.annotations.Data
@Data
class CanonisedFormulae {
CharSequence viatraCode
Map<Assertion,String> assertion2ConstraintPattern
Map<ConstantDefinition,String> constant2ValuePattern
Map<RelationDefinition,String> relation2ValuePattern
Map<FunctionDefinition,String> function2ValuePattern
}
|