ap.terfor.arithconj
Class for creating models (assignments of integer literals to constants) of Formula, for certain special cases. This class is used in EliminateFactsTask
Formula
EliminateFactsTask
Extend the given model, in such a way that the conditions of this model element are satisfied.
Class for creating models (assignments of integer literals to constants) of
Formula
, for certain special cases. This class is used inEliminateFactsTask