aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl
ModeNameSize
-rw-r--r--AndImpl.java3648logstatsplainblame
-rw-r--r--AssertionImpl.java8677logstatsplainblame
-rw-r--r--AtomicTermImpl.java857logstatsplainblame
-rw-r--r--BoolLiteralImpl.java3718logstatsplainblame
-rw-r--r--BoolOperationImpl.java878logstatsplainblame
-rw-r--r--BoolTypeReferenceImpl.java917logstatsplainblame
-rw-r--r--ComplexTypeReferenceImpl.java3966logstatsplainblame
-rw-r--r--ConstantDeclarationImpl.java915logstatsplainblame
-rw-r--r--ConstantDefinitionImpl.java6688logstatsplainblame
-rw-r--r--ConstantImpl.java6841logstatsplainblame
-rw-r--r--DefinedElementImpl.java4564logstatsplainblame
-rw-r--r--DistinctImpl.java3722logstatsplainblame
-rw-r--r--DivisonImpl.java833logstatsplainblame
-rw-r--r--EqualsImpl.java7169logstatsplainblame
-rw-r--r--ExistsImpl.java834logstatsplainblame
-rw-r--r--ForallImpl.java834logstatsplainblame
-rw-r--r--FunctionDeclarationImpl.java915logstatsplainblame
-rw-r--r--FunctionDefinitionImpl.java8294logstatsplainblame
-rw-r--r--FunctionImpl.java8263logstatsplainblame
-rw-r--r--IfThenElseImpl.java9225logstatsplainblame
-rw-r--r--IffImpl.java7084logstatsplainblame
-rw-r--r--ImplImpl.java7111logstatsplainblame
-rw-r--r--InstanceOfImpl.java6855logstatsplainblame
-rw-r--r--IntLiteralImpl.java3688logstatsplainblame
-rw-r--r--IntOperationImpl.java7347logstatsplainblame
-rw-r--r--IntTypeReferenceImpl.java910logstatsplainblame
-rw-r--r--LessOrEqualThanImpl.java7472logstatsplainblame
-rw-r--r--LessThanImpl.java7243logstatsplainblame
-rw-r--r--LogiclanguageFactoryImpl.java14460logstatsplainblame
-rw-r--r--LogiclanguagePackageImpl.java74966logstatsplainblame
-rw-r--r--MinusImpl.java819logstatsplainblame
-rw-r--r--ModImpl.java805logstatsplainblame
-rw-r--r--MoreOrEqualThanImpl.java7472logstatsplainblame
-rw-r--r--MoreThanImpl.java7243logstatsplainblame
-rw-r--r--MultiplyImpl.java840logstatsplainblame
-rw-r--r--NotImpl.java4515logstatsplainblame
-rw-r--r--OrImpl.java3634logstatsplainblame
-rw-r--r--PlusImpl.java812logstatsplainblame
-rw-r--r--PrimitiveRelationImpl.java906logstatsplainblame
-rw-r--r--PrimitiveTypeReferenceImpl.java952logstatsplainblame
-rw-r--r--QuantifiedExpressionImpl.java6828logstatsplainblame
-rw-r--r--RealLiteralImpl.java3821logstatsplainblame
-rw-r--r--RealTypeReferenceImpl.java917logstatsplainblame
-rw-r--r--RelationDeclarationImpl.java915logstatsplainblame
-rw-r--r--RelationDefinitionImpl.java8321logstatsplainblame
-rw-r--r--RelationImpl.java5957logstatsplainblame
-rw-r--r--StringLiteralImpl.java3791logstatsplainblame
-rw-r--r--StringTypeReferenceImpl.java931logstatsplainblame
-rw-r--r--SymbolicDeclarationImpl.java3938logstatsplainblame
-rw-r--r--SymbolicValueImpl.java6584logstatsplainblame
-rw-r--r--TermImpl.java890logstatsplainblame
-rw-r--r--TransitiveClosureImpl.java9402logstatsplainblame
-rw-r--r--TypeDeclarationImpl.java883logstatsplainblame
-rw-r--r--TypeDefinitionImpl.java6453logstatsplainblame
-rw-r--r--TypeImpl.java9129logstatsplainblame
-rw-r--r--TypeReferenceImpl.java955logstatsplainblame
-rw-r--r--UnknownBecauseUninterpretedImpl.java969logstatsplainblame
-rw-r--r--VariableImpl.java4594logstatsplainblame