parser.absconparseur.tools
Class InstanceCheckerParser
java.lang.Object
parser.absconparseur.tools.InstanceCheckerParser
public class InstanceCheckerParser
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LOGGER
protected static final Logger LOGGER
InstanceCheckerParser
public InstanceCheckerParser(InstanceCheckerEngine logic,
Document document,
boolean competitionControl)
throws parser.absconparseur.tools.InstanceCheckerParser.FormatException
- Throws:
parser.absconparseur.tools.InstanceCheckerParser.FormatException
getMaxConstraintRAity
public int getMaxConstraintRAity()
getNewRelations
public List<PRelation> getNewRelations()
getName
public String getName()
getRelationsMap
public Map<String,PRelation> getRelationsMap()
getFunctionsMap
public Map<String,PFunction> getFunctionsMap()
getPredicatesMap
public Map<String,PPredicate> getPredicatesMap()
getConstraintsToNewRelations
public Map<String,String> getConstraintsToNewRelations()
hasCanonicalNames
public boolean hasCanonicalNames()
checkValidity
public void checkValidity()
throws parser.absconparseur.tools.InstanceCheckerParser.FormatException
- Throws:
parser.absconparseur.tools.InstanceCheckerParser.FormatException
convertToExtension
public void convertToExtension()
throws parser.absconparseur.tools.InstanceCheckerParser.FormatException
- Throws:
parser.absconparseur.tools.InstanceCheckerParser.FormatException
updateStructures
public void updateStructures()
Copyright © 2012. All Rights Reserved.